I am a postdoctoral researcher at the EPFL University, working with Prof. Viktor Kuncak. My research interests are mainly in the areas of Program Synthesis and Software Testing.
I obtained my Ph.D. from EPFL in 2015, advised by Prof. Viktor Kuncak.
In summer 2010, I did an internship at Microsoft Research Redmond. I worked with Nikolai Tillmann on a search strategy and a technique that improves test input generation in Pex.
|T. Gvero and V. Kuncak
OOPSLA. pages TO APPEAR, Pittsburgh, Pennsylvania, USA, October 2015.
|Synthesizing Java Expressions from Free-Form Queries|
|T. Gvero and V. Kuncak
International Conference on Software Engineering, Demo Papers (ICSE Demo 2015), pages TO APPEAR, Florence, Italy, May 2015.
|Interactive Synthesis using Free-Form Queries|
|T. Gvero, V. Kuncak, I. Kuraj and R. Piskac
ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI 2013). pages 27-38, Seattle, Washington, USA, June 2013.
|Complete Completion using Types and Weights|
|T. Gvero, V. Kuncak and R. Piskac
Computer Aided Verification (CAV) Tool Demo 2011, pages 418-423, Snowbird, UT, USA, July 2011.
|Interactive Synthesis of Code Snippets|
|B. Daniel, D. Dig, T. Gvero, V. Jagannath, J. Jiaa, D. Mitchell, J. Nogiec, S.H. Tan, and D. Marinov
International Conference on Software Engineering, Demo Papers (ICSE Demo 2011), pages 1010-1012, Waikiki, Honoulu, Hawaii, USA, May 2011
|ReAssert: A Tool for Repairing Broken Unit Tests|
|B. Daniel, T. Gvero, and D. Marinov
International Symposium on Software Testing and Analysis (ISSTA 2010), pages 207-218, Trento, Italy, July 2010
|On Test Repair using Symbolic Execution|
|M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov
International Conference on Software Engineering (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010. (This paper won an ACM SIGSOFT Distinguished Paper Award.)
|Test Generation through Programming in UDITA|
|M. Gligoric , T. Gvero, S. Lauteburg, D. Marinov, and S. Khurshid
2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009), Denver, CO, April 2009.
|Optimizing Generation of Object Graphs in Java PathFinder|
|T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov, and S. Khurshid
International Conference on Software Engineering, Demo Papers (ICSE Demo 2008), pages 863-866, Leipzig, Germany, May 2008.
|State extensions for Java PathFinder|
- On Synthesizing Code from Free-Form Queries, T. Gvero and V. Kuncak, EPFL, IC Technical Report EPFL-REPORT-201606. 2014.
- Code Completion using Quantitative Type Inhabitation, T. Gvero, V. Kuncak, and R. Piskac, EPFL, IC Technical Report EPFL-REPORT-170040. 2011.
- On Test Generation through Programming in UDITA, M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov, EPFL, IC Technical Report LARA-REPORT-2009-05. 2009.
- On Delayed Choice Execution for Falsification, M. Gligoric , T. Gvero, S. Khurshid, V. Kuncak, and D. Marinov, Technical Report LARA-REPORT-2008-08, EPFL, IC, 2008.