Autori: Khurshid Sarfraz
| Naslov | MoET: Mixture of Expert Trees and its application to verifiable reinforcement learning (Article) |
| Autori | Vasic Marko Petrovic Andrija A Wang Kaiyuan Nikolic Mladen Singh Rishabh Khurshid Sarfraz |
| Info | NEURAL NETWORKS, (2022), vol. 151 br. , str. 34-47 |
| Projekat | NSF, United States [CCF-1718903] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| 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 |
