Follow
Tihomir Gvero
Tihomir Gvero
Software and data engineer, Credit Suisse
Verified email at epfl.ch - Homepage
Title
Cited by
Cited by
Year
Test generation through programming in UDITA
M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
2092010
Complete completion using types and weights
T Gvero, V Kuncak, I Kuraj, R Piskac
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
1722013
Synthesizing Java expressions from free-form queries
T Gvero, V Kuncak
Proceedings of the 2015 acm sigplan international conference on object …, 2015
1142015
On test repair using symbolic execution
B Daniel, T Gvero, D Marinov
Proceedings of the 19th international symposium on Software testing and …, 2010
982010
Interactive synthesis of code snippets
T Gvero, V Kuncak, R Piskac
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
652011
Interactive synthesis using free-form queries
T Gvero, V Kuncak
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
432015
Reassert: a tool for repairing broken unit tests
B Daniel, D Dig, T Gvero, V Jagannath, J Jiaa, D Mitchell, J Nogiec, ...
Proceedings of the 33rd International Conference on Software Engineering …, 2011
282011
Optimizing generation of object graphs in Java PathFinder
M Gligoric, T Gvero, S Lauterburg, D Marinov, S Khurshid
2009 International Conference on Software Testing Verification and …, 2009
222009
State extensions for java pathfinder
T Gvero, M Gligoric, S Lauterburg, M d'Amorim, D Marinov, S Khurshid
Proceedings of the 30th international conference on Software engineering …, 2008
172008
Code completion using quantitative type inhabitation
T Gvero, V Kuncak, R Piskac
82011
Interactive synthesis using free-form queries. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol. 2
T Gvero, V Kuncak
IEEE, 2015
62015
Search Techniques for Code Generation
T Gvero
EPFL, 2015
32015
On Fast Code Completion using Type Inhabitation
T Gvero, V Kuncak, I Kuraj, R Piskac
22012
On synthesizing code from free-form queries
T Gvero, V Kuncak
12014
On Repairing Ill-Typed Expressions
T Gvero, I Kuraj, R Piskac
12013
On delayed choice execution for falsification
M Gligoric, T Gvero, S Khurshid, V Kuncak, D Marinov
12008
Insynth: A system for code completion using types and weights
T Gvero, V Kuncak, I Kuraj, R Piskac
Gesellschaft für Informatik eV, 2015
2015
ReAssert
B Daniel, D Dig, T Gvero, V Jagannath, J Jiaa, D Mitchell, J Nogiec, ...
Proceedings of the 33rd International Conference on Software Engineering, 2011
2011
LARA
E Baranov, RW Blanc, M Bucev, S Buchard, M Cekic, PEGMG Cornilleau, ...
The system can't perform the operation now. Try again later.
Articles 1–19