Tihomir Gvero
Tihomir Gvero
Software and data engineer, Credit Suisse
Verified email at epfl.ch - Homepage
TitleCited byYear
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
1532010
Complete completion using types and weights
T Gvero, V Kuncak, I Kuraj, R Piskac
ACM SIGPLAN Notices 48 (6), 27-38, 2013
1082013
On test repair using symbolic execution
B Daniel, T Gvero, D Marinov
Proceedings of the 19th international symposium on Software testing and …, 2010
612010
Interactive synthesis of code snippets
T Gvero, V Kuncak, R Piskac
International Conference on Computer Aided Verification, 418-423, 2011
562011
Synthesizing Java expressions from free-form queries
T Gvero, V Kuncak
Acm Sigplan Notices 50 (10), 416-432, 2015
522015
Interactive synthesis using free-form queries
T Gvero, V Kuncak
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
192015
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
182009
ReAssert: a tool for repairing broken unit tests
B Daniel, D Dig, T Gvero, V Jagannath, J Jiaa, D Mitchell, J Nogiec, ...
2011 33rd International Conference on Software Engineering (ICSE), 1010-1012, 2011
162011
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
142008
Code completion using quantitative type inhabitation
T Gvero, V Kuncak, R Piskac
52011
On Fast Code Completion using Type Inhabitation
T Gvero, V Kuncak, I Kuraj, R Piskac
22012
Search Techniques for Code Generation
T Gvero
EPFL, 2015
12015
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
Software-engineering and management 2015, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–16