Cover Image

Execution-free Program Repair

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Li, Meyer, Bertrand, Mustafin, Ilgiz, Oriol, Manuel
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Do AI models help produce verified bug fixes?
by: Huang, Li, et al.
Published: (2025)

Combining Tests and Proofs for Better Software Verification
by: Huang, Li, et al.
Published: (2026)

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community
by: Meyer, Bertrand, et al.
Published: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
by: Xiao, Yuan-An, et al.
Published: (2023)

A formal definition of loop unrolling with applications to test coverage
by: Meyer, Bertrand
Published: (2024)

Software Engineering as a Domain to Formalize
by: Meyer, Bertrand
Published: (2025)

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

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

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
by: Haque, Mirazul, et al.
Published: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

ThinkRepair: Self-Directed Automated Program Repair
by: Yin, Xin, et al.
Published: (2024)

The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)

EcoScratch: Cost-Effective Multimodal Repair for Scratch Using Execution Feedback
by: Si, Yuan, et al.
Published: (2026)

Is ChatGPT 3 safe for students?
by: Kotovich, Julia, et al.
Published: (2024)

Programming Really Is Simple Mathematics
by: Meyer, Bertrand, et al.
Published: (2025)

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

The Impact of Program Reduction on Automated Program Repair
by: Vidziunas, Linas, et al.
Published: (2024)

Invariant-based Program Repair
by: Al-Bataineh, Omar I.
Published: (2023)

Revisiting Evolutionary Program Repair via Code Language Model
by: Wang, Yunan, et al.
Published: (2024)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models
by: Li, Yuanhao, et al.
Published: (2026)

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

DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging
by: Wu, Linhao, et al.
Published: (2026)

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

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Energy Consumption of Automated Program Repair
by: Martinez, Matias, et al.
Published: (2022)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Empirical Evaluation of Large Language Models in Automated Program Repair
by: Sun, Jiajun, et al.
Published: (2025)

ASAP-Repair: API-Specific Automated Program Repair Based on API Usage Graphs
by: Nielebock, Sebastian, et al.
Published: (2024)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

On The Effectiveness of Dynamic Reduction Techniques in Automated Program Repair
by: Al-Bataineh, Omar I.
Published: (2024)

The Fact Selection Problem in LLM-Based Program Repair
by: Parasaram, Nikhil, et al.
Published: (2024)

Towards Practical and Useful Automated Program Repair for Debugging
by: Xin, Qi, et al.
Published: (2024)

BUGSPHP: A dataset for Automated Program Repair in PHP
by: Pramod, K. D., et al.
Published: (2024)

Adversarial Reasoning for Repair Based on Inferred Program Intent
by: Ye, He, et al.
Published: (2025)

PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)

Knowledge-Enhanced Program Repair for Data Science Code
by: Ouyang, Shuyin, et al.
Published: (2025)

Input Reduction Enhanced LLM-based Program Repair
by: Yang, Boyang, et al.
Published: (2025)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)