Korat - Publications

Publications about Korat

S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov
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)]
A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid
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)]
S.Misailovic, A.Milicevic, S.Khurshid, D.Marinov
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.)