Automatic Program Repair. - Goues, Claire Le; Pradel, Michael; Roychoudhury, Abhik; Chandra, Satish (IEEE Softw., 2021)