| 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 | 192 | 2010 |
| 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 | 157 | 2013 |
| Synthesizing Java expressions from free-form queries T Gvero, V Kuncak Proceedings of the 2015 acm sigplan international conference on object …, 2015 | 99 | 2015 |
| On test repair using symbolic execution B Daniel, T Gvero, D Marinov Proceedings of the 19th international symposium on Software testing and …, 2010 | 87 | 2010 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 65 | 2011 |
| Interactive synthesis using free-form queries T Gvero, V Kuncak 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 37 | 2015 |
| 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 | 26 | 2011 |
| 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 | 22 | 2009 |
| 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 | 15 | 2008 |
| Code completion using quantitative type inhabitation T Gvero, V Kuncak, R Piskac | 7 | 2011 |
| 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 | 6 | 2015 |
| Search Techniques for Code Generation T Gvero EPFL, 2015 | 3 | 2015 |
| Insynth: A system for code completion using types and weights T Gvero, V Kuncak, I Kuraj, R Piskac Software-engineering and management 2015, 2015 | 2 | 2015 |
| On Fast Code Completion using Type Inhabitation T Gvero, V Kuncak, I Kuraj, R Piskac | 2 | 2012 |
| On synthesizing code from free-form queries T Gvero, V Kuncak | 1 | 2014 |
| On Repairing Ill-Typed Expressions T Gvero, I Kuraj, R Piskac | 1 | 2013 |
| On delayed choice execution for falsification M Gligoric, T Gvero, S Khurshid, V Kuncak, D Marinov | 1 | 2008 |
| LARA E Baranov, RW Blanc, M Bucev, S Buchard, M Cekic, PEGMG Cornilleau, ... | | |
Viktor KunčakEPFLVerified email at epfl.ch
