Deductive program repair E Kneuss, M Koukoutos, V Kuncak International Conference on Computer Aided Verification, 217-233, 2015 | 64 | 2015 |
Systematic generation of non-equivalent expressions for relational algebra K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 18 | 2018 |
Checking data structure properties orders of magnitude faster E Koukoutos, V Kuncak Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 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 | 15 | 2016 |
On repair with probabilistic attribute grammars M Koukoutos, M Raghothaman, E Kneuss, V Kuncak arXiv preprint arXiv:1707.04148, 2017 | 9 | 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, 2015 | | 2015 |