Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
In this paper, we propose a novel approach that combines the strengths of both FM-based fault localization and LLMs, via zero-shot learning, to enhance APR for IPAs. Our method …
