Orvalho, P.; Janota, M.; Manquinho, V. M. Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-Based Fault Localization. AAAI 2025, 39, 649-657.