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

(Tool Paper)
  • Koushik Sen
  • Gul Agha
Conference paper

DOI: 10.1007/11817963_38

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4144)
Cite this paper as:
Sen K., Agha G. (2006) CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. In: Ball T., Jones R.B. (eds) Computer Aided Verification. CAV 2006. Lecture Notes in Computer Science, vol 4144. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Koushik Sen
    • 1
  • Gul Agha
    • 1
  1. 1.University of Illinois at Urbana-ChampaignUSA

Personalised recommendations