Buchumschlag

Execution-free Program Repair

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Huang, Li, Meyer, Bertrand, Mustafin, Ilgiz, Oriol, Manuel
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
von: Kananchuk, Victoria, et al.
Veröffentlicht: (2025)

Do AI models help produce verified bug fixes?
von: Huang, Li, et al.
Veröffentlicht: (2025)

Combining Tests and Proofs for Better Software Verification
von: Huang, Li, et al.
Veröffentlicht: (2026)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
von: Meyer, Bertrand, et al.
Veröffentlicht: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
von: Xiao, Yuan-An, et al.
Veröffentlicht: (2023)

A formal definition of loop unrolling with applications to test coverage
von: Meyer, Bertrand
Veröffentlicht: (2024)

Software Engineering as a Domain to Formalize
von: Meyer, Bertrand
Veröffentlicht: (2025)

Project Prometheus: Bridging the Intent Gap in Agentic Program Repair via Reverse-Engineered Executable Specifications
von: Wang, Yongchao, et al.
Veröffentlicht: (2026)

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
von: Huang, Zhili, et al.
Veröffentlicht: (2025)

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
von: Haque, Mirazul, et al.
Veröffentlicht: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
von: Bertomeu, Oriol, et al.
Veröffentlicht: (2025)

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

The nature of loops in programming
von: Meyer, Bertrand
Veröffentlicht: (2025)

EcoScratch: Cost-Effective Multimodal Repair for Scratch Using Execution Feedback
von: Si, Yuan, et al.
Veröffentlicht: (2026)

Is ChatGPT 3 safe for students?
von: Kotovich, Julia, et al.
Veröffentlicht: (2024)

Programming Really Is Simple Mathematics
von: Meyer, Bertrand, et al.
Veröffentlicht: (2025)

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)

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

Invariant-based Program Repair
von: Al-Bataineh, Omar I.
Veröffentlicht: (2023)

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

Trustworthy Distributed Certification of Program Execution
von: Wolf, Alex, et al.
Veröffentlicht: (2024)

BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models
von: Li, Yuanhao, 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)

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

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

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)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
von: Sun, Jiajun, 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)

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

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

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)

BUGSPHP: A dataset for Automated Program Repair in PHP
von: Pramod, K. D., 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)

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

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

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
von: Yaacov, Tom, et al.
Veröffentlicht: (2024)