Open Systems Laboratory at Illinois

Cute and jcute: concolic unit testing and explicit path model-checking tools

By Koushik Sen and Gul Agha. In CAV, volume 4144 of Lecture Notes in Computer Science, 419–423. Springer, 2006.

Full Text:
Download PDF
Publisher Link:


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 = "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 = "",
    keywords = "formal methods, software engineering",
    pages = "419-423",
    year = "2006",

    editor = "Ball, Thomas and Jones, Robert B.",
    title = "Computer Aided Verification, 18th International
             Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006,
    isbn = "3-540-37406-X",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "4144",
    year = "2006",