|
|
The idea implemented in CUTE can be found in the following publication and slides
- KOUSHIK SEN,
"Scalable Automated Methods for dynamic Program Analysis."
Ph.D. Thesis, University of Illinois at Urbana-Champaign.
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameSphd2006
- KOUSHIK SEN, DARKO MARINOV, and GUL
AGHA, "CUTE: A Concolic Unit Testing Engine for C." in
5th joint meeting of the European Software Engineering
Conference and ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE'05), pp. 263-272, Lisbon, Portugal,
September 2005. ACM. ACM SIGSOFT Distinguished Paper Award
Winner.
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameSMAfse05
- PATRICE GODEFROID, NILS KLARLUND, and
KOUSHIK SEN, "DART: Directed Automated Random Testing,"
in Proceedings of ACM SIGPLAN 2005 Conference on Programming
Language Design and Implementation (PLDI'05), pp. 213-223,
Chicago, USA, June 2005. ACM.
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameGKSpldi05
- KOUSHIK SEN and GUL AGHA, "Automated
Systematic Testing of Open Distributed Programs." in
Fundamental Approaches to Software Engineering (FASE'06) (ETAPS'06
conference), sponsored by EATCS and EASST, Lecture Notes in
Computer Science, Vienna, Austria, March 2006. Springer. (To
Appear)
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameSAfase06
- KOUSHIK SEN and GUL AGHA,
"CUTE and jCUTE : Concolic Unit Testing and Explicit Path
Model-Checking Tools," in 18th International Conference on
Computer Aided Verification (CAV'06), Lecture Notes in
Computer Science, Seattle, Washington, USA, August 2006.
Springer. (To Appear)
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameSAcav06
- [ppt][pdf] "CUTE: A Concolic Unit Testing
Engine for C", ESEC/FSE 2005, Lisbon, Portugal, September 8.
- KOUSHIK SEN and GUL AGHA, "jCUTE : Automated
Testing of Multithreaded Programs Using Race-Detection and
Flipping," Submitted for Publication.
URL: http://osl.cs.uiuc.edu/~ksen/?page=publications#nameSAjcute206
|