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

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.

• Type: Conference
• Year: 2006
• Where: CAV
• Authors: Koushik Sen, Gul Agha
• Keywords: Avoids Redundant Test, CAV 2006, Check Concurrent Programs, Concurrent Java Programs, Hardware