Tihomir Gvero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2008–2015
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSE | Interactive Synthesis Using Free-Form Queries. | Tihomir Gvero, Viktor Kuncak |
| 2015 | OOPSLA | Synthesizing Java expressions from free-form queries. | Tihomir Gvero, Viktor Kuncak |
| 2013 | PLDI | Complete completion using types and weights. | Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |
| 2011 | CAV | Interactive Synthesis of Code Snippets. | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
| 2011 | ICSE | ReAssert: a tool for repairing broken unit tests. | Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov |
| 2010 | ICSE | Test generation through programming in UDITA. | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
| 2010 | ISSTA | On test repair using symbolic execution. | Brett Daniel, Tihomir Gvero, Darko Marinov |
| 2009 | ICST | Optimizing Generation of Object Graphs in Java PathFinder. | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |