paper-with-me

Papers

RunBugRun -- An Executable Dataset for Automated Program Repair

2023-04-03 · Julian Aron Prenner, Romain Robbes

Recently, we can notice a transition to data-driven techniques in Automated Program Repair (APR), in particular towards deep neural networks. This entails training on hundreds of thousands or even millions of non-executable code fragments. We would like to bring more attention to an aspect of code often neglected in Neural Program Repair (NPR), namely its execution. Code execution has several significant advantages. It allows for test-based evaluation of candidate fixes and can provide valuable information to aid repair. In this work we present a fully executable dataset of 450,000 small buggy/fixed program pairs originally submitted to programming competition websites written in eight different programming languages. Along with the dataset we provide infrastructure to compile, safely execute and test programs as well as fine-grained bug-type labels. To give a point of reference, we provide basic evaluation results for two baselines, one based on a generate-and-validate approach and one on deep learning. With this dataset we follow several goals: we want to lift Neural Program Repair beyond fully static code representations, foster the use of execution-based features and, by including several different languages, counterbalance the predominance of Java in the current landscape of APR datasets and benchmarks.

📄 PDF Abstract BibTeX arXiv:2304.01102

Code (0)

등록된 구현이 없습니다.

Tasks

Program Repair

Methods 이 논문이 사용한 방법론

Repair 설명 없음
Test 설명 없음

Similar Papers 제목 키워드 기반

SpecAHD: Localize to Specialize for Automated Heuristic Design in Large-Scale Routing Problems

2026-07-26 · Kezhao Lai, Yutao Lai, Hai-Lin Liu arxiv

LLM-based automated heuristic design (AHD) typically scores executable programs on complete instances or within fixed solver components. In large-scale routing problems, localized reconstruction reduces the size of each …

SVRepair: Structured Visual Reasoning for Automated Program Repair

2026-02-05 · Xiaoxuan Tang, Jincheng Wang, Liwei Luo, Jingxuan Xu 외 arxiv

Large language models (LLMs) have recently shown strong potential for Automated Program Repair (APR), yet most existing approaches remain unimodal and fail to leverage the rich diagnostic signals contained in visual arti…

Visual ReasoningProgram Repair

Project Prometheus: Bridging the Intent Gap in Agentic Program Repair via Reverse-Engineered Executable Specifications

2026-04-19 · Yongchao Wang, Zhiqiu Huang arxiv

The transition from neural machine translation to agentic workflows has revolutionized Automated Program Repair (APR). However, existing agents, despite their advanced reasoning capabilities, frequently suffer from the `…

Machine TranslationCode GenerationProgram Repair

Teaching Code LLMs to Reason with Intermediate Formal Specifications

2026-07-05 · Minh Le-Anh, Cuong Chi Le, Tien N. Nguyen arxiv

Unlike natural-language specifications, executable formal specifications provide machine-checkable constraints for verifying, debugging, and repairing code. However, writing such specifications is labor-intensive, and ex…

Program Repair

Enhancing Automated Program Repair through Fine-tuning and Prompt Engineering

2023-04-16 · Rishov Paul, Md. Mohib Hossain, Mohammed Latif Siddiq, Masum Hasan 외

Sequence-to-sequence models have been used to transform erroneous programs into correct ones when trained with a large enough dataset. Some recent studies also demonstrated strong empirical evidence that code review coul…

Program RepairPrompt Engineering