BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gvero:Tihomir

Contributed to:

ICSE 20152015
OOPSLA 20152015
PLDI 20132013
CAV 20112011
ICSE 20112011
ICSE 20102010
ISSTA 20102010
ICST 20092009
ICSE 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.