Sciweavers

4305 search results - page 124 / 861
» The Test of Time
Sort
View
166
Voted
ROBOCUP
2000
Springer
135views Robotics» more  ROBOCUP 2000»
15 years 9 months ago
Simulator Complex for RoboCup Rescue Simulation Project - As Test-Bed for Multi-Agent Organizational Behavior in Emergency Case
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
Toshiyuki Kaneda, Fumitoshi Matsuno, Hironao Takah...
152
Voted
ESA
2010
Springer
136views Algorithms» more  ESA 2010»
15 years 7 months ago
Fast Minor Testing in Planar Graphs
Minor containment is a fundamental problem in Algorithmic Graph Theory, as numerous graph algorithms use it as a subroutine. A model of a graph H in a graph G is a set of disjoint ...
Isolde Adler, Frederic Dorn, Fedor V. Fomin, Ignas...
CP
2010
Springer
15 years 4 months ago
Testing Expressibility Is Hard
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
Ross Willard
222
Voted
ICSE
2012
IEEE-ACM
13 years 8 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
202
Voted
ICSM
2005
IEEE
15 years 11 months ago
Contract-Based Mutation for Testing Components
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, ...