Combining dynamic slicing and mutation operators for ESL correction. - Urmas Repinski; Hanno Hantson; Maksim Jenihhin; Jaan Raik; Raimund Ubar; Giuseppe Di Guglielmo; Graziano Pravadelli; Franco Fummi (ETS, 2012)

FoREnSiC- An Automatic Debugging Environment for C Programs. - Roderick Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; André Sülflow (Haifa Verification Conference, 2012)

Diagnosis and correction of multiple design errors using critical path tracing and mutation analysis. - Hanno Hantson; Urmas Repinski; Jaan Raik; Maksim Jenihhin; Raimund Ubar (LATW, 2012)

Comparison of Model-Based Error Localization algorithms for C designs. - Urmas Repinski; Jaan Raik (EWDTS, 2013)

Automated design error debug using high-level decision diagrams and mutation operators. - Jaan Raik; Urmas Repinski; Anton Chepurov; Hanno Hantson; Raimund Ubar; Maksim Jenihhin (Microprocess. Microsystems, 2013)