@ARTICLE{
author={Vasic Marko|,Petrovic Andrija A|0000-0003-4516-495X,Wang Kaiyuan|,Nikolic Mladen|0009-0002-8943-2709,Singh Rishabh|,Khurshid Sarfraz|},
year={2022},
title={MoET: Mixture of Expert Trees and its application to verifiable reinforcement learning},
journal={NEURAL NETWORKS},
volume={151},
number={},
pages={34-47},
document_type={Article},
} 

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