Korat: A Tool for Generating Structurally Complex Test Inputs

Minneapolis, Minnesota May 20-May 26

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.48

29th International Conference on Soft ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Aleksandar Milicevic Articles by Sasa Misailovic Articles by Darko Marinov Articles by Sarfraz Khurshid

	ASCII Text	x
	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid, "Korat: A Tool for Generating Structurally Complex Test Inputs," Software Engineering, International Conference on, pp. 771-774, 29th International Conference on Software Engineering (ICSE'07), 2007.

	BibTex	x
	@article{ 10.1109/ICSE.2007.48, author = {Aleksandar Milicevic and Sasa Misailovic and Darko Marinov and Sarfraz Khurshid}, title = {Korat: A Tool for Generating Structurally Complex Test Inputs}, journal ={Software Engineering, International Conference on}, volume = {0}, year = {2007}, issn = {0270-5257}, pages = {771-774}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.48}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering, International Conference on TI - Korat: A Tool for Generating Structurally Complex Test Inputs SN - 0270-5257 SP771 EP774 A1 - Aleksandar Milicevic, A1 - Sasa Misailovic, A1 - Darko Marinov, A1 - Sarfraz Khurshid, PY - 2007 KW - null VL - 0 JA - Software Engineering, International Conference on ER -

Aleksandar Milicevic, University of Belgrade, Serbia

Sasa Misailovic, University of Belgrade, Serbia

Darko Marinov, University of Illinois Urbana-Champaign, USA

Sarfraz Khurshid, University of Texas, USA

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.

Citation:

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid, "Korat: A Tool for Generating Structurally Complex Test Inputs," icse, pp.771-774, 29th International Conference on Software Engineering (ICSE'07), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.