@ARTICLE{
author={Gligoric Milos,Gvero Tihomir,Lauterburg Steven,Marinov Darko,Khurshid Sarfraz},
year={2009},
title={Optimizing Generation of Object Graphs in Java PathFinder},
journal={SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS},
volume={},
number={},
pages={51-60},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gvero Tihomir,Gligoric Milos,Lauterburg Steven,d 'Amorim Marcelo,Marinov Darko,Khurshid Sarfraz},
year={2008},
title={State Extensions for Java PathFinder},
journal={2008 30TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: (ICSE), VOLS 1 AND 2},
volume={},
number={},
pages={851-854},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gvero Tihomir,Gligoric Milos,Lauterburg Steven,d 'Amorim Marcelo,Marinov Darko,Khurshid Sarfraz},
year={2008},
title={State Extensions for Java PathFinder},
journal={ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING},
volume={},
number={},
pages={863-866},
document_type={Proceedings Paper},
} 

@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},
}