CUTE: A Concolic Unit Testing Engine for C and Java
CUTE: A Concolic Unit Testing Engine for C and Java
Submitted by webmaster@testdriven.com (Links) on Fri, 19/10/2007 - 15:29.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 novel race-flipping technique to efficiently test and model-check concurrent programs with data inputs.
