Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
- ICST 2013
by
Pablo Abad, Nazareno Aguirre, Valeria Bengolea, Daniel Ciolek, Marcelo F. Frias, Juan Pablo Galeotti, Tom Maibaum, Mariano Moscato, Nicolas Rosner, Ignacio Vissani
ICST '13: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, March 2013.
Digital Library via DOI: 10.1109/ICST.2013.46 - Local copy: Download as PDF file.
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.
BibTeX Entry
@inproceedings{abad-icst-2013,
title = "Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving",
author = "Pablo Abad and Nazareno Aguirre and Valeria Bengolea and Daniel Ciolek and Marcelo F. Frias and Juan Pablo
Galeotti and Tom Maibaum and Mariano Moscato and Nicolas Rosner and Ignacio Vissani",
year = "2013",
month = mar,
booktitle = "ICST '13: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and
Validation",
location = "Luxembourg",
doi = "10.1109/ICST.2013.46",
}