Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.

Pedro Orvalho, Mikols Janota, Vasco M. Manquinho

Browse the full AAAI paper archive.