Tihomir Gvero

According to our database, Tihomir Gvero authored at least 11 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Search Techniques for Code Generation.

Tihomir Gvero

PhD thesis, 2015

InSynth: A System for Code Completion using Types and Weights.

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Synthesizing Java expressions from free-form queries.

Tihomir Gvero, Viktor Kuncak

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Interactive Synthesis Using Free-Form Queries.

Tihomir Gvero, Viktor Kuncak

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Complete completion using types and weights.

Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

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

Proceedings of the 33rd International Conference on Software Engineering, 2011

Interactive Synthesis of Code Snippets.

Tihomir Gvero, Viktor Kuncak, Ruzica Piskac

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On test repair using symbolic execution.

Brett Daniel, Tihomir Gvero, Darko Marinov

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Test generation through programming in UDITA.

Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Optimizing Generation of Object Graphs in Java PathFinder.

Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

State extensions for java pathfinder.

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008