Autori: Gvero Tihomir
| 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 |
