Deductive Program Repair. - Etienne Kneuss; Manos Koukoutos; Viktor Kuncak (CAV (2), 2015)

An Update on Deductive Synthesis and Repair in the Leon Tool. - Manos Koukoutos; Etienne Kneuss; Viktor Kuncak (SYNT@CAV, 2016)

On Repair with Probabilistic Attribute Grammars. - Manos Koukoutos; Mukund Raghothaman; Etienne Kneuss; Viktor Kuncak (CoRR, 2017)

Systematic Generation of Non-equivalent Expressions for Relational Algebra. - Kaiyuan Wang; Allison Sullivan; Manos Koukoutos; Darko Marinov; Sarfraz Khurshid (ABZ, 2018)