Sciweavers

Share
ICSE
2007
IEEE-ACM

Korat: A Tool for Generating Structurally Complex Test Inputs

9 years 5 months ago
Korat: A Tool for Generating Structurally Complex Test Inputs
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.
Aleksandar Milicevic, Sasa Misailovic, Darko Marin
Added 09 Dec 2009
Updated 09 Dec 2009
Type Conference
Year 2007
Where ICSE
Authors Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
Comments (0)
books