@ARTICLE{
author={Milicevic Aleksandar|,Misailovic Sasa|,Marinov Darko|,Khurshid Sarfraz|},
year={2007},
title={Korat: A tool for generating structurally complex test inputs},
journal={ICSE 2007: 29th International Conference on Software Engineering, Proceedings},
volume={},
number={},
pages={771-774},
document_type={Proceedings Paper},
}