Korat: A tool for generating structurally complex test inputs

Aleksandar Milićević; Saša Misailović; Darko Marinov; Sarfraz Khurshid

doi:10.1109/ICSE.2007.48

Korat: A tool for generating structurally complex test inputs

Aleksandar Milićević, Saša Misailović, Darko Marinov, Sarfraz Khurshid

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1109/ICSE.2007.48
State	Published - 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

Access to Document

10.1109/ICSE.2007.48

Fingerprint Dive into the research topics of 'Korat: A tool for generating structurally complex test inputs'. Together they form a unique fingerprint.

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

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., 4222644, Proceedings - International Conference on Software Engineering, pp. 771-774, 29th International Conference on Software Engineering, ICSE 2007, Minneapolis, MN, United States, 5/20/07. https://doi.org/10.1109/ICSE.2007.48

@inproceedings{6b3a0187d3034099af3baf535e0db769,

title = "Korat: A tool for generating structurally complex test inputs",

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.",

author = "Aleksandar Mili{\'c}evi{\'c} and Sa{\v s}a Misailovi{\'c} and Darko Marinov and Sarfraz Khurshid",

year = "2007",

doi = "10.1109/ICSE.2007.48",

language = "English (US)",

isbn = "0769528287",

series = "Proceedings - International Conference on Software Engineering",

pages = "771--774",

booktitle = "Proceedings - 29th International Conference on Software Engineering, ICSE 2007",

}

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

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 -