Buchumschlag

Invariant-based Program Repair

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Al-Bataineh, Omar I.
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
von: Al-Bataineh, Omar I.
Veröffentlicht: (2024)

Input Reduction Enhanced LLM-based Program Repair
von: Yang, Boyang, et al.
Veröffentlicht: (2025)

ThinkRepair: Self-Directed Automated Program Repair
von: Yin, Xin, et al.
Veröffentlicht: (2024)

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs
von: Yoshida, Chihiro, et al.
Veröffentlicht: (2026)

Hierarchical Knowledge Injection for Improving LLM-based Program Repair
von: Ehsani, Ramtin, et al.
Veröffentlicht: (2025)

The Impact of Program Reduction on Automated Program Repair
von: Vidziunas, Linas, et al.
Veröffentlicht: (2024)

Execution-free Program Repair
von: Huang, Li, et al.
Veröffentlicht: (2024)

CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
von: Yang, Boyang, et al.
Veröffentlicht: (2024)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

Energy Consumption of Automated Program Repair
von: Martinez, Matias, et al.
Veröffentlicht: (2022)

Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
von: Jiang, Jiajun, et al.
Veröffentlicht: (2023)

Search-based Automated Program Repair of CPS Controllers Modeled in Simulink-Stateflow
von: Arrieta, Aitor, et al.
Veröffentlicht: (2024)

EXPEREPAIR: Dual-Memory Enhanced LLM-based Repository-Level Program Repair
von: Mu, Fangwen, et al.
Veröffentlicht: (2025)

Evaluating Agent-based Program Repair at Google
von: Rondon, Pat, et al.
Veröffentlicht: (2025)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

A Survey of LLM-based Automated Program Repair: Taxonomies, Design Paradigms, and Applications
von: Yang, Boyang, et al.
Veröffentlicht: (2025)

Computation Tree Logic Guided Program Repair
von: Liu, Yu, et al.
Veröffentlicht: (2025)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
von: Nielebock, Sebastian, et al.
Veröffentlicht: (2024)

Repair Ingredients Are All You Need: Improving Large Language Model-Based Program Repair via Repair Ingredients Search
von: Zhang, Jiayi, et al.
Veröffentlicht: (2025)

From Historical Patches to Repair Plans: Outcome-Conditioned Reasoning for Repository-Level Program Repair
von: Li, Chenglin, et al.
Veröffentlicht: (2026)

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
von: Wu, Linhao, et al.
Veröffentlicht: (2026)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
von: Li, Fengjie, et al.
Veröffentlicht: (2024)

Adversarial Reasoning for Repair Based on Inferred Program Intent
von: Ye, He, et al.
Veröffentlicht: (2025)

PathFix: Automated Program Repair with Expected Path
von: He, Xu, et al.
Veröffentlicht: (2025)

The Fact Selection Problem in LLM-Based Program Repair
von: Parasaram, Nikhil, et al.
Veröffentlicht: (2024)

Towards Practical and Useful Automated Program Repair for Debugging
von: Xin, Qi, et al.
Veröffentlicht: (2024)

Knowledge-Enhanced Program Repair for Data Science Code
von: Ouyang, Shuyin, et al.
Veröffentlicht: (2025)

BUGSPHP: A dataset for Automated Program Repair in PHP
von: Pramod, K. D., et al.
Veröffentlicht: (2024)

Less Training, More Repairing Please: Revisiting Automated Program Repair via Zero-shot Learning
von: Xia, Chunqiu Steven, et al.
Veröffentlicht: (2022)

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
von: Kong, Jiaolong, et al.
Veröffentlicht: (2024)

Reinforcement Learning for Mutation Operator Selection in Automated Program Repair
von: Hanna, Carol, et al.
Veröffentlicht: (2023)

Automated Repair of C Programs Using Large Language Models
von: Farzandway, Mahdi, et al.
Veröffentlicht: (2025)

Exploring Generalizable Automated Program Repair with Large Language Models
von: Campos, Viola, et al.
Veröffentlicht: (2025)

Towards Speeding up Program Repair with Non-Autoregressive Model
von: Yang, Zhenyu, et al.
Veröffentlicht: (2025)

EviACT: An Evidence-to-Action Framework for Agentic Program Repair
von: Meng, Qianru, et al.
Veröffentlicht: (2026)

Revisiting Evolutionary Program Repair via Code Language Model
von: Wang, Yunan, et al.
Veröffentlicht: (2024)

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
von: Xu, Tongtong, et al.
Veröffentlicht: (2019)

Adapting Knowledge Prompt Tuning for Enhanced Automated Program Repair
von: Cai, Xuemeng, et al.
Veröffentlicht: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
von: Schweikl, Sebastian, et al.
Veröffentlicht: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
von: Sun, Jiajun, et al.
Veröffentlicht: (2025)