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 proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings - 29th International Conference on Software Engineering, ICSE 2007
Pages771-774
Number of pages4
DOIs
StatePublished - Sep 25 2007
Event29th International Conference on Software Engineering, ICSE 2007 - Minneapolis, MN, United States
Duration: May 20 2007May 26 2007

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Other

Other29th International Conference on Software Engineering, ICSE 2007
CountryUnited States
CityMinneapolis, MN
Period5/20/075/26/07

Fingerprint

Structural integrity
Testing

ASJC Scopus subject areas

  • Software

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

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 proceedingConference 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
Milićević A, Misailović S, Marinov D, Khurshid S. Korat: A tool for generating structurally complex test inputs. In Proceedings - 29th International Conference on Software Engineering, ICSE 2007. 2007. p. 771-774. 4222644. (Proceedings - International Conference on Software Engineering). https://doi.org/10.1109/ICSE.2007.48
Milićević, Aleksandar ; Misailović, Saša ; Marinov, Darko ; Khurshid, Sarfraz. / Korat : A tool for generating structurally complex test inputs. Proceedings - 29th International Conference on Software Engineering, ICSE 2007. 2007. pp. 771-774 (Proceedings - International Conference on Software Engineering).
@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ćević and Saša Misailović and Darko Marinov and Sarfraz Khurshid",
year = "2007",
month = "9",
day = "25",
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 - 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 -