Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. - Etienne Kneuss; Philippe Suter; Viktor Kuncak (RV, 2010)

Phantm: PHP analyzer for type mismatch. - Etienne Kneuss; Philippe Suter; Viktor Kuncak (SIGSOFT FSE, 2010)

An overview of the Leon verification system: verification by translation to recursive functions. - Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter (SCALA@ECOOP, 2013)

Synthesis modulo recursive functions. - Etienne Kneuss; Ivan Kuraj; Viktor Kuncak; Philippe Suter (OOPSLA, 2013)

Executing Specifications Using Synthesis and Constraint Solving. - Viktor Kuncak; Etienne Kneuss; Philippe Suter (RV, 2013)

Effect Analysis for Programs with Callbacks. - Etienne Kneuss; Viktor Kuncak; Philippe Suter (VSTTE, 2013)

On Integrating Deductive Synthesis and Verification Systems - Etienne Kneuss; Viktor Kuncak; Ivan Kuraj; Philippe Suter (CoRR, 2013)

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

Counter-example complete verification for higher-order functions. - Nicolas Voirol; Etienne Kneuss; Viktor Kuncak (Scala@PLDI, 2015)

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

Deductive Synthesis and Repair. - Etienne Kneuss (2016)

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