Cover Image

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xiao, Yuan-An, Yang, Chenyang, Wang, Bo, Xiong, Yingfei
Format:	Preprint
Published:	2023
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

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

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

SemOpt: LLM-Driven Code Optimization via Rule-Based Analysis
by: Zhao, Yuwei, et al.
Published: (2025)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
by: Kong, Jiaolong, et al.
Published: (2025)

ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair
by: Zhang, Quanjun, 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)

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

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
by: Fang, Jian, et al.
Published: (2026)

Validity-Preserving Delta Debugging via Generator Trace Reduction
by: Ren, Luyao, et al.
Published: (2024)

Beyond Crash-to-Patch: Patch Evolution for Linux Kernel Repair
by: Bai, Luyao, et al.
Published: (2026)

Reducing Cost of LLM Agents with Trajectory Reduction
by: Xiao, Yuan-An, et al.
Published: (2025)

When Automated Program Repair Meets Regression Testing -- An Extensive Study on 2 Million Patches
by: Lou, Yiling, et al.
Published: (2021)

MultiMend: Multilingual Program Repair with Context Augmentation and Multi-Hunk Patch Generation
by: Gharibi, Reza, et al.
Published: (2025)

Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities
by: Chen, Simin, et al.
Published: (2025)

Accelerating Automatic Program Repair with Dual Retrieval-Augmented Fine-Tuning and Patch Generation on Large Language Models
by: Guo, Hanyang, et al.
Published: (2025)

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

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

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

CI-Repair-Bench: A Repository-Aware Benchmark for Automated Patch Validation via CI Workflows
by: Muna, Rabeya Khatun, et al.
Published: (2026)

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

A Learning Method for Symbolic Systems Using Large Language Models
by: Fang, Jian, et al.
Published: (2026)

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

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

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

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

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
by: Bouras, Dimitrios Stamatios, et al.
Published: (2025)

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

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

REFINE: Enhancing Program Repair Agents through Context-Aware Patch Refinement
by: Pabba, Anvith, et al.
Published: (2025)

HEJ-Robust: A Robustness Benchmark for LLM-Based Automated Program Repair
by: Rabbi, Fazle, et al.
Published: (2026)

On Reasoning-Centric LLM-based Automated Theorem Proving
by: Sun, Yican, et al.
Published: (2026)

LLM-based Vulnerability Detection at Project Scale: An Empirical Study
by: Li, Fengjie, et al.
Published: (2026)

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

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

Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
by: Le-Cong, Thanh, et al.
Published: (2024)

EviACT: An Evidence-to-Action Framework for Agentic Program Repair
by: Meng, Qianru, et al.
Published: (2026)

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

Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
by: Nashid, Noor, et al.
Published: (2025)

RePurr: Automated Repair of Block-Based Learners' Programs
by: Schweikl, Sebastian, et al.
Published: (2025)