P. Orvalho, M. Janota, and V. M. Manquinho, “Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization”, AAAI, vol. 39, no. 1, pp. 649–657, Apr. 2025.