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

Lecture notes in computer sciencePublished 1 January 2006

Koushik Sen, Gul Agha

DOI10.1007/11817963_38

Source URL

Citations391

SJR quartileQ2

SJR score0.35

SNIP0.55

TL;DR

CUTE is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs and introduces a race-flipping technique to efficiently test and model check concurrent programs with data inputs.

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.

Keywords

Computer Science

Communications of the ACMSymbolic execution and program testing

2,991 Citations1976James C. King

A particular system called EFFIGY which provides symbolic execution for program testing and debugging is described, which interpretively executes programs written in a simple PL/I style programming language.

View PDF

ACM SIGPLAN NoticesDART

2,073 Citations2005Patrice Godefroid, Nils Klarlund +1 more

CUTE

1,653 Citations2005Koushik Sen, Darko Marinov +1 more

A method to represent and track constraints that capture the behavior of a symbolic execution of a unit with memory graphs as inputs is developed and an efficient constraint solver is proposed to facilitate incremental generation of such test inputs.

DART

1,501 Citations2005Patrice Godefroid, Nils Klarlund +1 more

DART is a new tool for automatically testing software that combines three main techniques, automated extraction of the interface of a program with its external environment using static source-code parsing, and dynamic analysis of how the program behaves under random testing and automatic generation of new test inputs to direct systematically the execution along alternative program paths.

Lecture notes in computer scienceCIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

971 Citations2002George C. Necula, Scott McPeak +2 more

The structure of CIL is described, with a focus on how it disambiguates those features of C that were found to be most confusing for program analysis and transformation, allowing a complete project to be viewed as a single compilation unit.

Lecture notes in computer scienceAutomated Systematic Testing of Open Distributed Programs

109 Citations2006Koushik Sen, Gul Agha

An algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication, Web services, etc, which uses simultaneous concrete and symbolic execution, or concolic execution, to explore all distinct behaviors that may result from a program's execution given different data inputs and schedules.

View PDF

Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

16 Citations2006Koushik Sen, Gul Agha

This work proposes a novel testing algorithm for concurrent programs in which the goal is not only to execute all reachable statements of a program, but to detect all possible data races, and deadlock states.

View PDF