Ph.D. Proposal: Automatic Repair of Loops
Martin Monperrus, Daniel Le Berre · 2014
This PhD topic is about automatic software repair. Automatic software repair is the process of fixing software bugs automatically. Research on automatic software repair has recently started, esp. since the invention of GenProg, an automatic repair system for C code [3]. We have been successfully contributing to this field [4, 5, 6, 1]. The PhD student will explore how to automatically repair a class of bugs ‐ buggy loops ‐ which has never been considered for automatic repair. The envisioned techniques will use Satisfiability Modulo Theory (SMT) to drive the patch search.