Tihomir Gvero

Consultant at Itecor
phone: +41 76 567 95 22
email: tihomir.gvero@gmail.com

Short Biography

Tihomir Gvero holds a PhD degree in Computer Science from EPFL, Switzerland, and a Master’s degree also in Computer Science from the University of Belgrade, Serbia. During the PhD studies he worked with the professor Viktor Kuncak and implemented Java and Scala assistance and testing tools. In summer 2010, he did an internship in Microsoft Research, Redmond, USA where he worked with Nikolai Tillmann on Microsoft Visual Studio (in particular Pex, a tool for automated software testing). In summer 2007, he did an internship at UIUC, USA where he worked with the professor Darko Marinov on automated testing. Since joining Itecor, he has been developing a web portal and a desktop application for MSF.


  1. Synthesizing Java expressions from Free-Form Queries T. Gvero and V. Kuncak, In OOPSLA, 2015.
  2. Interactive Synthesis using Free-Form Queries T. Gvero and V. Kuncak, In ICSE, 2015.
  3. Search Techniques for Code Generation (PhD Dissertation) T. Gvero, EPFL, 2015.
  4. Complete Completion using Types and Weights T. Gvero, V. Kuncak, I. Kuraj and R. Piskac, In PLDI, 2013.
  5. Interactive Synthesis of Code Snippets T. Gvero, V. Kuncak and R. Piskac, In CAV, 2011.
  6. ReAssert: a Tool for Repairing Broken Unit Tests B. Daniel, D. Dig, T. Gvero, V. Jagannath, J. Jiaa, D. Mitchell, J. Nogiec, S. H. Tan and D. Marinov, In ICSE, 2011.
  7. On Test Repair using Symbolic Execution B. Daniel, T. Gvero and D. Marinov, In ISSTA, 2010.
  8. Test Generation through Programming in UDITA M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak and D. Marinov. In ICSE, 2010.
  9. Optimizing Generation of Object Graphs in Java PathFinder M. Gligoric, T. Gvero, S. Lauterburg, D. Marinov and S. Khurshid, In ICST, 2009.
  10. State Extensions for Java PathFinderT. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov and S. Khurshid, In ICSE, 2008.