RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment

Marcos Fuster-Pena, David de-Fitero-Dominguez, Antonio Garcia-Cabot +1

Automated Program Repair (APR) seeks to automatically correct software bugs without requiring human intervention. However, existing tools tend to generate patches that satisfy test…