Title | ||
---|---|---|
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving |
Abstract | ||
---|---|---|
We present a novel and general technique for automated test generation that combines tight bounds with incremental SAT solving. The proposed technique uses incremental SAT to build test suites targeting a specific testing criterion, amongst various black-box and white-box criteria. As our experimental results show, the combination of tight bounds with incremental SAT, and the testing criterion driven approach implemented in our prototype tool FAJITA, enable us to effectively generate test suites for container classes with rich contracts, more efficiently than other state-of-the-art tools. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ICST.2013.46 | Software Testing, Verification and Validation |
Keywords | Field | DocType |
improving test generation,tight bound,tight bounds,specific testing criterion,white-box criterion,rich contracts,general technique,container class,proposed technique,incremental sat,test suite,automated test generation,testing criterion,automatic test pattern generation,software quality,metals,cost accounting,java,computability,testing,algorithm design and analysis | Automatic test pattern generation,Algorithm design,Programming language,Computer science,Software prototyping,Computability,Software quality,Program testing,Java,Cost accounting,Reliability engineering | Conference |
ISBN | Citations | PageRank |
978-1-4673-5961-0 | 12 | 0.53 |
References | Authors | |
22 | 10 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pablo Abad | 1 | 12 | 0.53 |
Nazareno Aguirre | 2 | 159 | 21.79 |
Valeria Bengolea | 3 | 14 | 0.91 |
Daniel Ciolek | 4 | 12 | 1.54 |
Marcelo F. Frias | 5 | 295 | 35.57 |
Juan P. Galeotti | 6 | 166 | 9.64 |
Tom Maibaum | 7 | 281 | 31.90 |
Mariano Moscato | 8 | 12 | 0.53 |
Nicolas Rosner | 9 | 56 | 2.32 |
Ignacio Vissani | 10 | 12 | 0.53 |