Autori: Lauterburg Steven
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 | Web of Science Citati: 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 | Web of Science Citati: 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 | Web of Science Citati: Web of Science |
|