36 search results - page 4 / 8 » Test input generation with java PathFinder |
105
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
ICSE
2008
IEEE-ACM
16 years 11 days ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
101
click to vote
GPCE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
130
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
90
Voted
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...