| Deductive program repair E Kneuss, M Koukoutos, V Kuncak International Conference on Computer Aided Verification, 217-233, 2015 | 55 | 2015 |
| Checking data structure properties orders of magnitude faster E Koukoutos, V Kuncak International Conference on Runtime Verification, 263-268, 2014 | 17 | 2014 |
| An update on deductive synthesis and repair in the leon tool M Koukoutos, E Kneuss, V Kuncak arXiv preprint arXiv:1611.07625, 2016 | 13 | 2016 |
| Systematic generation of non-equivalent expressions for relational algebra K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018 | 12 | 2018 |
| On repair with probabilistic attribute grammars M Koukoutos, M Raghothaman, E Kneuss, V Kuncak arXiv preprint arXiv:1707.04148, 2017 | 8 | 2017 |
| On deductive program repair in Leon E Kneuss, M Koukoutos, V Kuncak | 2 | 2015 |
| Synthesizing Functions from Relations in Leon V Kuncak, E Kneuss, E Koukoutos Logic-Based Program Synthesis And Transformation (Lopstr 2014) 8981 (CONF), 2015 | | 2015 |
