Korat: A Tool for Generating Structurally Complex Test Inputs

Authors:
Aleksandar Milicevic;Sasa Misailovic;Darko Marinov;Sarfraz Khurshid
Affiliations:
University of Belgrade, Serbia;University of Belgrade, Serbia;University of Illinois Urbana-Champaign, USA;University of Texas, USA
Venue:
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Year:
2007

Citing 4
Cited 9

Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Korat: automated testing based on Java predicates

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Automatic testing of software with structurally complex inputs

Automatic testing of software with structurally complex inputs
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

Parallel test generation and execution with Korat

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Juzi: a tool for repairing complex data structures

Proceedings of the 30th international conference on Software engineering
JavaCOP: Declarative pluggable types for java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating test cases for specification mining

Proceedings of the 19th international symposium on Software testing and analysis
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs

TAP'11 Proceedings of the 5th international conference on Tests and proofs
A case for alloy annotations for efficient incremental analysis via domain specific solvers

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Using coverage criteria on RepOK to reduce bounded-exhaustive test suites

TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Generation of test data structures using constraint logic programming

TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Test input generation using dynamic programming

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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 speci fies 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.