Part V: Automatic Repair

In this part, we show how to automatically repair code.