Automatic program bug fixing by focusing on finding the shortest sequence of changes. - Yousofvand, Leila; Soleimani, Seyfollah; Rafe, Vahid; Esfandyari, Sajad (Artificial Intelligence Review, 2024)