18 search results - page 2 / 4 » issta 2000 |
ISSTA
2000
ACM
13 years 10 months ago
2000
ACM
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, "What are the best subdomains ...
ISSTA
2000
ACM
13 years 10 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
ISSTA
2000
ACM
13 years 10 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
ISSTA
2000
ACM
13 years 10 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...