Travelled to:1 × Germany
1 × South Africa
2 × Italy
5 × USA
Collaborated with:V.Kuncak D.Marinov R.Piskac M.Gligoric S.Khurshid B.Daniel S.Lauterburg V.Jagannath I.Kuraj M.d'Amorim D.Dig J.Jiaa D.Mitchell J.Nogiec S.H.Tan
Talks about:test (3) java (3) use (3) synthesi (2) interact (2) generat (2) complet (2) repair (2) queri (2) free (2)
Person: Tihomir Gvero
DBLP: Gvero:Tihomir
Contributed to:
2015
2015
2013
201120112010
2010
20092008Wrote 9 papers:
- ICSE-v2-2015-GveroK #interactive #query #synthesis #using
- Interactive Synthesis Using Free-Form Queries (TG, VK), pp. 689–692.
- OOPSLA-2015-GveroK #java #query
- Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.
- PLDI-2013-GveroKKP #using
- Complete completion using types and weights (TG, VK, IK, RP), pp. 27–38.
- CAV-2011-GveroKP #interactive #synthesis
- Interactive Synthesis of Code Snippets (TG, VK, RP), pp. 418–423.
- ICSE-2011-DanielDGJJMNTM #named #testing
- ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
- ICSE-2010-GligoricGJKKM #generative #programming #testing
- Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
- ISSTA-2010-DanielGM #execution #on the #symbolic computation #using
- On test repair using symbolic execution (BD, TG, DM), pp. 207–218.
- ICST-2009-GligoricGLMK #generative #graph #java #optimisation
- Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
- ICSE-2008-GveroGL #java
- State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.