Publications about Korat
-
Parallel test generation and execution with Korat
6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE 2007), Dubrovnik, Croatia, Sept. 2007. [Acceptance rate 17% (43/251 papers)] -
Korat: A Tool for Generating Structurally Complex Test Inputs
Formal Research Demo at the 29th International Conference on Software Engineering
(ICSE Demo 2007), Minneapolis, MN, May 2007. [Acceptance rate: 22% (12/56 papers)] -
Generating Test Inputs for Fault-Tree Analyzers using Imperative Predicates
Workshop on Advances and Innovations in Systems Testing
(STEP 07), Memphis, TN, May 2007. -
D. Marinov
Automatic Testing of Software with Structurally Complex Inputs
PhD thesis, Massachusetts Institute of Technology,
Cambridge, MA, Dec. 2004
-
D. Marinov A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard
An evaluation of exhaustive testing for data structures
Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge, MA, September 2003
-
C. Boyapati, S. Khurshid, and D. Marinov
Korat: Automated testing based on Java predicates
International Symposium on Software Testing and Analysis
(ISSTA 2002), pages 123-133, Rome, Italy, July 2002
(This paper won an ACM SIGSOFT Distinguished Paper Award.)