| 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 | 210 | 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 | 174 | 2013 |
| Synthesizing Java expressions from free-form queries T Gvero, V Kuncak Proceedings of the 2015 acm sigplan international conference on object …, 2015 | 115 | 2015 |
| On test repair using symbolic execution B Daniel, T Gvero, D Marinov Proceedings of the 19th international symposium on Software testing and …, 2010 | 98 | 2010 |
| Interactive synthesis of code snippets T Gvero, V Kuncak, R Piskac Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 66 | 2011 |
| Interactive synthesis using free-form queries T Gvero, V Kuncak 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 43 | 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 | 27 | 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 | 17 | 2008 |
| Code completion using quantitative type inhabitation T Gvero, V Kuncak, R Piskac | 9 | 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 |
| On fast code completion using type inhabitation T Gvero, V Kuncak, I Kuraj, R Piskac | 3 | 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 |
| 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, ... | | |
Viktor KunčakEPFL在 epfl.ch 的电子邮件经过验证
