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

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