Skip to main content
Conference ProceedingsOPEN ACCESS

CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2006) 4144 LNCS 419-423
DOI: 10.1007/11817963_38
292Citations
Citations of this article
132Readers
Mendeley users who have this article in their library.

This article is free to access.

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. © Springer-Verlag Berlin Heidelberg 2006.

Cite

CITATION STYLE

APA

Sen, K., & Agha, G. (2006). CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4144 LNCS, pp. 419–423). Springer Verlag. https://doi.org/10.1007/11817963_38

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free