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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2006
Accession Number
ADA484932

Entities

People

  • Gul Agha
  • Koushik Sen

Organizations

  • University of Illinois Urbana–Champaign

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Case Studies
  • Computer Programming
  • Computer Science
  • Computers
  • Computing-Related Activities
  • Concrete
  • Debugging
  • Graphical User Interface
  • Hash Tables
  • Information Operations
  • Integer Programming
  • Linear Programming
  • Lists (Data Structures)
  • Software Testing
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Database Systems and Applications