Cute and jcute: concolic unit testing and explicit path model-checking tools
By
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. CUTE combines concrete and symbolic execution in a way that avoids redundant test cases as well as false warnings. The tool also introduces a race-flipping technique to efficiently test and model check concurrent programs with data inputs.
BibTeX
@inproceedings{conf/cav/SenA06,
author = "Sen, Koushik and Agha, Gul",
editor = "Ball, Thomas and Jones, Robert B.",
title = "CUTE and jCUTE: Concolic Unit Testing and Explicit Path
Model-Checking Tools",
booktitle = "CAV",
crossref = "conf/cav/2006",
ee = "http://dx.doi.org/10.1007/11817963_38",
keywords = "formal methods, software engineering",
pages = "419-423",
year = "2006",
}
@proceedings{conf/cav/2006,
editor = "Ball, Thomas and Jones, Robert B.",
title = "Computer Aided Verification, 18th International
Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006,
Proceedings",
isbn = "3-540-37406-X",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "4144",
year = "2006",
}