Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fuster-Pena, Marcos, de-Fitero-Dominguez, David, Garcia-Cabot, Antonio, Garcia-Lopez, Eva
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Training Data for Bug Repair
by: de-Fitero-Dominguez, David, et al.
Published: (2025)

Enhanced Automated Code Vulnerability Repair using Large Language Models
by: de-Fitero-Dominguez, David, et al.
Published: (2024)

Parameter-Efficient Fine-Tuning with Attributed Patch Semantic Graph for Automated Patch Correctness Assessment
by: Yang, Zhenyu, et al.
Published: (2025)

ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair
by: Zhang, Quanjun, et al.
Published: (2026)

On the Effectiveness of Code Representation in Deep Learning-Based Automated Patch Correctness Assessment
by: Zhang, Quanjun, et al.
Published: (2026)

PatchZero: Zero-Shot Automatic Patch Correctness Assessment
by: Zhou, Xin, et al.
Published: (2023)

TickIt: Leveraging Large Language Models for Automated Ticket Escalation
by: Liu, Fengrui, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

Combining Static Code Analysis and Large Language Models Improves Correctness and Performance of Algorithm Recognition
by: Neumüller, Denis, et al.
Published: (2026)

Analyzing the Instability of Large Language Models in Automated Bug Injection and Correction
by: Er, Mehmet Bilal, et al.
Published: (2025)

PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models
by: Le-Cong, Thanh, et al.
Published: (2026)

APPT: Boosting Automated Patch Correctness Prediction via Fine-tuning Pre-trained Models
by: Zhang, Quanjun, et al.
Published: (2023)

Test-based Patch Clustering for Automatically-Generated Patches Assessment
by: Martinez, Matias, et al.
Published: (2022)

B-OCL: An Object Constraint Language Interpreter in Python
by: Haq, Fitash Ul, et al.
Published: (2025)

Automated Description Generation for Software Patches
by: Vu, Thanh Trong, et al.
Published: (2024)

Patch Validation in Automated Vulnerability Repair
by: Yu, Zheng, et al.
Published: (2026)

Vibe Modeling: Challenges and Opportunities
by: Cabot, Jordi
Published: (2025)

Low-Modeling of Software Systems
by: Cabot, Jordi
Published: (2024)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
by: Kulsum, Ummay, et al.
Published: (2024)

Can Language Models Pass Software Testing Certification Exams? a case study
by: Haq, Fitash Ul, et al.
Published: (2026)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
by: Abtahi, Seyed Moein, et al.
Published: (2025)

Automating TODO-missed Methods Detection and Patching
by: Gao, Zhipeng, et al.
Published: (2024)

LangBiTe: A Platform for Testing Bias in Large Language Models
by: Morales, Sergio, et al.
Published: (2024)

Automating Patch Set Generation from Code Review Comments Using Large Language Models
by: Rahman, Tajmilur, et al.
Published: (2024)

APPATCH: Automated Adaptive Prompting Large Language Models for Real-World Software Vulnerability Patching
by: Nong, Yu, et al.
Published: (2024)

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
by: Ait, Adem, et al.
Published: (2025)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
by: Dai, Han, et al.
Published: (2026)

Automating Zero-Shot Patch Porting for Hard Forks
by: Pan, Shengyi, et al.
Published: (2024)

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
by: Xie, Danning, et al.
Published: (2025)

RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
by: Sepidband, Melika, et al.
Published: (2026)

Automated Assessment in Mobile Programming Courses: Leveraging GitHub Classroom and Flutter for Enhanced Student Outcomes
by: Alves, Pedro, et al.
Published: (2025)

PatchRecall: Patch-Driven Retrieval for Automated Program Repair
by: Dihan, Mahir Labib, et al.
Published: (2026)

From Image to UML: First Results of Image Based UML Diagram Generation Using LLMs
by: Conrardy, Aaron, et al.
Published: (2024)

LLM4EFFI: Leveraging Large Language Models to Enhance Code Efficiency and Correctness
by: Ye, Tong, et al.
Published: (2025)

Automated Static Warning Identification via Path-based Semantic Representation
by: Zhang, Yuwei, et al.
Published: (2023)

Bugs in the Shadows: Static Detection of Faulty Python Refactorings
by: Oliveira, Jonhnanthan, et al.
Published: (2025)

Automated Code Review Using Large Language Models with Symbolic Reasoning
by: Icoz, Busra, et al.
Published: (2025)

Augmenting the Generality and Performance of Large Language Models for Software Engineering
by: Peña, Fabian C.
Published: (2025)

SATORI: Static Test Oracle Generation for REST APIs
by: Alonso, Juan C., et al.
Published: (2025)