Autori: Marinov Darko
| Naslov | Optimizing Generation of Object Graphs in Java PathFinder (Proceedings Paper) |
| Autori | Gligoric Milos Gvero Tihomir Lauterburg Steven Marinov Darko Khurshid Sarfraz |
| Info | SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS, (2009), vol. br. , str. 51-60 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
| Naslov | State Extensions for Java PathFinder (Proceedings Paper) |
| Autori | Gvero Tihomir Gligoric Milos Lauterburg Steven d 'Amorim Marcelo Marinov Darko Khurshid Sarfraz |
| Info | 2008 30TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: (ICSE), VOLS 1 AND 2, (2008), vol. br. , str. 851-854 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
| Naslov | State Extensions for Java PathFinder (Proceedings Paper) |
| Autori | Gvero Tihomir Gligoric Milos Lauterburg Steven d 'Amorim Marcelo Marinov Darko Khurshid Sarfraz |
| Info | ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, (2008), vol. br. , str. 863-866 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
| Naslov | Korat: A tool for generating structurally complex test inputs (Proceedings Paper) |
| Autori | Milicevic Aleksandar Misailovic Sasa Marinov Darko Khurshid Sarfraz |
| Info | ICSE 2007: 29th International Conference on Software Engineering, Proceedings, (2007), vol. br. , str. 771-774 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
