21183 search results - page 413 / 4237 » Adaptive Testing by Test |
146
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
198
click to vote
SPIN
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
187
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
174
click to vote
ISSTA
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
154
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Probabilistic roadmap (PRM) planners have been successful in path planning of robots with many degrees of freedom, but narrow passages in a robot’s configuration space create s...