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)

Volumn 4144 LNCS, Issue , 2006, Pages 419-423

  Sen, Koushik ^a   Agha, Gul ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER PROGRAMMING; CONCURRENT ENGINEERING; JAVA PROGRAMMING LANGUAGE;

CONCOLIC UNIT TESTING ENGINE; MODEL CHECKING TOOLS; RACE FLIPPING TECHNIQUE; SYMBOLIC EXECUTION;

COMPUTER SOFTWARE;

EID: 33749857160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_38     Document Type: Conference Paper

References (8)

1. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
2. lp_solve. http://groups.yahoo.com/group/lp_solve/.
3. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and transformation of C Programs. In Proceedings of Conference on compiler Construction, pages 213-228, 2002.
4. K. Sen and G. Agha. Automated systematic testing of open distributed programs. In Fundamental Approaches to Software Engineering (FASE'06), volume 3922 of LNCS, pages 339-356. Springer, 2006.
5. K. Sen and G. Agha. Concolic testing of multithreaded programs and its application to testing security protocols. Technical Report UIUCDCS-R-2006-2676, UIUC, 2006.
6. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In 5th meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2005.
7. SGLIB. http://xref-tech.com/sglib/main.html.
8. R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125-135.