Abstract
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies the desired structural integrity constraints and (2) a finitization that bounds the desired test input size. Korat generates all inputs (within the bounds) for which the predicate returns true. To do so, Korat performs a systematic search of the predicate's input space. The inputs that Korat generates enable bounded-exhaustive testing for programs ranging from library classes to stand-alone applications.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - 29th International Conference on Software Engineering, ICSE 2007 |
| Pages | 771-774 |
| Number of pages | 4 |
| DOIs | |
| State | Published - Sep 25 2007 |
| Event | 29th International Conference on Software Engineering, ICSE 2007 - Minneapolis, MN, United States Duration: May 20 2007 → May 26 2007 |
Publication series
| Name | Proceedings - International Conference on Software Engineering |
|---|---|
| ISSN (Print) | 0270-5257 |
Other
| Other | 29th International Conference on Software Engineering, ICSE 2007 |
|---|---|
| Country | United States |
| City | Minneapolis, MN |
| Period | 5/20/07 → 5/26/07 |
ASJC Scopus subject areas
- Software
Fingerprint Dive into the research topics of 'Korat: A tool for generating structurally complex test inputs'. Together they form a unique fingerprint.
Cite this
Milićević, A., Misailović, S., Marinov, D., & Khurshid, S. (2007). Korat: A tool for generating structurally complex test inputs. In Proceedings - 29th International Conference on Software Engineering, ICSE 2007 (pp. 771-774). [4222644] (Proceedings - International Conference on Software Engineering). https://doi.org/10.1109/ICSE.2007.48