ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
ISSTA
2004
ACM
14 years 5 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 ...
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
ISSTA
2004
ACM
14 years 5 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
2004
ACM
14 years 5 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
ISSTA
2004
ACM
14 years 5 months ago
2004
ACM
ISSTA
2004
ACM
14 years 5 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...