2026 search results - page 53 / 406 » Tools for Test Case Generation |
127
click to vote
ISSTA
2004
ACM
15 years 9 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...
123
Voted
SOQUA
2004
15 years 4 months ago
2004
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
192
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
126
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
109
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...