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

reportActive / Technical Report | Accession Number: ADA484932 | Open PDF

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.

Author(s):
Sen, Koushik ; Agha, Gul
Author Organization(s):
ILLINOIS UNIV AT URBANA-CHAMAPIGN
Supplementary Note:
The original document contains color images. Supported in part by NSF.
Pagination:
0005

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Contract/Grant Number(s):
N00014-02-1-0715, CNS-05-09321
Monitor Series:
ONR
 Subject Terms
Joint Capability Areas:
JCA_1_Force Support; JCA_6_Net Centric; JCA_1.2_Force Preparation; JCA_5_Command and Control; JCA_8_Building Partnerships
Communities of Interest:
No COI(s) Identified
Descriptor(s):
*SOFTWARE ENGINEERING, DATA BASES, JAVA PROGRAMMING LANGUAGE, TEST AND EVALUATION, ALGORITHMS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
CUTE(CONCOLIC UNIT TESTING ENGINE)
Report Date:
2005 Jan 01
Creation Date:
2008 Aug 27