Computer Aided Verification

Volume 4144 of the series Lecture Notes in Computer Science pp 419-423

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

(Tool Paper)
  • Koushik SenAffiliated withUniversity of Illinois at Urbana-Champaign
  • , Gul AghaAffiliated withUniversity of Illinois at Urbana-Champaign

* Final gross prices may vary according to local VAT.

Get Access


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.