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 |
Fingerprint
ASJC Scopus subject areas
- Software
Cite this
Korat : A tool for generating structurally complex test inputs. / Milićević, Aleksandar; Misailović, Saša; Marinov, Darko; Khurshid, Sarfraz.
Proceedings - 29th International Conference on Software Engineering, ICSE 2007. 2007. p. 771-774 4222644 (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Korat
T2 - A tool for generating structurally complex test inputs
AU - Milićević, Aleksandar
AU - Misailović, Saša
AU - Marinov, Darko
AU - Khurshid, Sarfraz
PY - 2007/9/25
Y1 - 2007/9/25
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=34548756109&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34548756109&partnerID=8YFLogxK
U2 - 10.1109/ICSE.2007.48
DO - 10.1109/ICSE.2007.48
M3 - Conference contribution
AN - SCOPUS:34548756109
SN - 0769528287
SN - 9780769528281
T3 - Proceedings - International Conference on Software Engineering
SP - 771
EP - 774
BT - Proceedings - 29th International Conference on Software Engineering, ICSE 2007
ER -