Korat: A Tool for Generating Structurally Complex Test Inputs

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid

DOI 10.1109/icse.2007.48 dblp

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.

BibTeX

@inproceedings{Milicevic-al:ICSE07,
  author    = {Aleksandar Milicevic and
               Sasa Misailovic and
               Darko Marinov and
               Sarfraz Khurshid},
  title     = {Korat: A Tool for Generating Structurally Complex Test Inputs},
  booktitle = {ICSE},
  pages     = {771--774},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
}

Korat: A Tool for Generating Structurally Complex Test Inputs

Abstract

Related papers