@inproceedings{d271af414ff64aa8abb510a7caa5945c,
title = "CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools",
abstract = "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.",
author = "Koushik Sen and Gul Agha",
year = "2006",
doi = "10.1007/11817963_38",
language = "English (US)",
isbn = "354037406X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "419--423",
booktitle = "Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings",
address = "Germany",
note = "18th International Conference on Computer Aided Verification, CAV 2006 ; Conference date: 17-08-2006 Through 20-08-2006",
}