Tihomir Gvero

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 3

Top Topics

Free Form Surfaces

Top Venues

Software Engineering & Management

Publications

Tihomir Gvero, Viktor Kuncak
Synthesizing Java expressions from free-form queries. OOPSLA (2015)
Tihomir Gvero, Viktor Kuncak
Interactive Synthesis Using Free-Form Queries. ICSE (2) (2015)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management (2015)
Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
Complete completion using types and weights. PLDI (2013)
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
Interactive Synthesis of Code Snippets. CAV (2011)
Brett Daniel, Danny Dig, Tihomir Gvero, Vilas Jagannath, Johnston Jiaa, Damion Mitchell, Jurand Nogiec, Shin Hwei Tan, Darko Marinov
ReAssert: a tool for repairing broken unit tests. ICSE (2011)
Brett Daniel, Tihomir Gvero, Darko Marinov
On test repair using symbolic execution. ISSTA (2010)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
Test generation through programming in UDITA. ICSE (1) (2010)
Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid
Optimizing Generation of Object Graphs in Java PathFinder. ICST (2009)
Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid
State extensions for java pathfinder. ICSE (2008)