Generating tests from counterexamples
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. Proceedings of the 26th International Conference on Software Engineering. ICSE: Software Engineering, 326–335.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Scopus indexed
Author
Beyer, Dirk;
Chlipala, Adam;
Henzinger, Thomas AISTA 
;
Jhala, Ranjit;
Majumdar, Ritankar
;
Jhala, Ranjit;
Majumdar, RitankarAbstract
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C program and a target predicate p, BLAST determines the set L of program locations which program execution can reach with p true, and automatically generates a set of test vectors that exhibit the truth of p at all locations in L. We have used BLAST to generate test suites and to detect dead code in C programs with up to 30 K lines of code. The analysis and test vector generation is fully automatic (no user intervention) and exact (no false positives).
Publishing Year
Date Published
2004-07-26
Proceedings Title
Proceedings of the 26th International Conference on Software Engineering
Publisher
IEEE
Page
326 - 335
Conference
ICSE: Software Engineering
Conference Location
Edinburgh, United Kingdom
Conference Date
2004-05-23 – 2004-05-28
ISBN
ISSN
IST-REx-ID
Cite this
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples. In: Proceedings of the 26th International Conference on Software Engineering. IEEE; 2004:326-335. doi:10.1109/ICSE.2004.1317455
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Generating tests from counterexamples. In Proceedings of the 26th International Conference on Software Engineering (pp. 326–335). Edinburgh, United Kingdom: IEEE. https://doi.org/10.1109/ICSE.2004.1317455
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples.” In Proceedings of the 26th International Conference on Software Engineering, 326–35. IEEE, 2004. https://doi.org/10.1109/ICSE.2004.1317455.
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “Generating tests from counterexamples,” in Proceedings of the 26th International Conference on Software Engineering, Edinburgh, United Kingdom, 2004, pp. 326–335.
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. Proceedings of the 26th International Conference on Software Engineering. ICSE: Software Engineering, 326–335.
Beyer, Dirk, et al. “Generating Tests from Counterexamples.” Proceedings of the 26th International Conference on Software Engineering, IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
Google Scholar
ISBN Search