112
click to vote
ISSTA
15 years 2 months ago
2004 ACM 
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
98
Voted
ISSTA
15 years 2 months ago
2004 ACM
Continuous testing uses excess cycles on a developer’s workstation to continuously run regression tests in the background, providing rapid feedback about test failures as source...
ISSTA
15 years 2 months ago
2004 ACM 
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
ISSTA
15 years 2 months ago
2004 ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
ISSTA
15 years 2 months ago
2004 ACM 
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
|
Software Engineering