Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
Korat: A Tool for Generating Structurally Complex Test Inputs
ICSE, 2007.
@inproceedings{ICSE-2007-MilicevicMMK,
author = "Aleksandar Milicevic and Sasa Misailovic and Darko Marinov and Sarfraz Khurshid",
booktitle = "{Proceedings of the 29th International Conference on Software Engineering}",
doi = "10.1109/ICSE.2007.48",
pages = "771--774",
publisher = "{IEEE Computer Society}",
title = "{Korat: A Tool for Generating Structurally Complex Test Inputs}",
year = 2007,
}