TY - GEN
T1 - Korat
T2 - 29th International Conference on Software Engineering, ICSE 2007
AU - Milićević, Aleksandar
AU - Misailović, Saša
AU - Marinov, Darko
AU - Khurshid, Sarfraz
N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
PY - 2007
Y1 - 2007
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
Y2 - 20 May 2007 through 26 May 2007
ER -