State extensions for java pathfinder. - Tihomir Gvero; Milos Gligoric 001; Steven Lauterburg; Marcelo d'Amorim; Darko Marinov; Sarfraz Khurshid (ICSE, 2008)

Optimizing Generation of Object Graphs in Java PathFinder. - Milos Gligoric 001; Tihomir Gvero; Steven Lauterburg; Darko Marinov; Sarfraz Khurshid (ICST, 2009)

Test generation through programming in UDITA. - Milos Gligoric 001; Tihomir Gvero; Vilas Jagannath; Sarfraz Khurshid; Viktor Kuncak; Darko Marinov (ICSE (1), 2010)

On test repair using symbolic execution. - Brett Daniel; Tihomir Gvero; Darko Marinov (ISSTA, 2010)

Interactive Synthesis of Code Snippets. - Tihomir Gvero; Viktor Kuncak; Ruzica Piskac (CAV, 2011)

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 (ICSE, 2011)

Complete completion using types and weights. - Tihomir Gvero; Viktor Kuncak; Ivan Kuraj; Ruzica Piskac (PLDI, 2013)

Interactive Synthesis Using Free-Form Queries. - Tihomir Gvero; Viktor Kuncak (ICSE (2), 2015)

Synthesizing Java expressions from free-form queries. - Tihomir Gvero; Viktor Kuncak (OOPSLA, 2015)

InSynth: A System for Code Completion using Types and Weights. - Tihomir Gvero; Viktor Kuncak; Ivan Kuraj; Ruzica Piskac (Software Engineering & Management, 2015)

Search Techniques for Code Generation. - Tihomir Gvero (2015)