paper-with-me

Papers

Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing

2024-02-19 · Thanh Le-Cong, Dat Nguyen, Bach Le, Toby Murray

In this paper, we propose shifting the focus of robustness evaluation for Neural Program Repair (NPR) techniques toward naturally-occurring data transformations. To accomplish this, we first examine the naturalness of semantic-preserving transformations through a two-stage human study. This study includes (1) interviews with senior software developers to establish concrete criteria for evaluating the naturalness of these transformations, and (2) a survey involving 10 developers to assess the naturalness of 1,178 transformations, i.e., pairs of original and transformed programs, applied to 225 real-world bugs. Our findings show that only 60% of these transformations are deemed natural, while 20% are considered unnatural, with strong agreement among annotators. Moreover, the unnaturalness of these transformations significantly impacts both their applicability to benchmarks and the conclusions drawn from robustness testing. Next, we conduct natural robustness testing on NPR techniques to assess their true effectiveness against real-world data variations. Our experimental results reveal a substantial number of prediction changes in NPR techniques, leading to significant reductions in both plausible and correct patch rates when comparing performance on the original and transformed datasets. Additionally, we observe notable differences in performance improvements between NPR techniques, suggesting potential biases on NPR evaluation introduced by limited datasets. Finally, we propose an LLM-based metric to automate the assessment of transformation naturalness, ensuring the scalability of natural robustness testing.

📄 PDF Abstract BibTeX arXiv:2402.11892

Code (1)

thanhlecongg/naturaltransformationforbenchmarkingnpr 공식 구현

Tasks

Program Repair

Methods 이 논문이 사용한 방법론

Focus 설명 없음

Similar Papers 제목 키워드 기반

Benchmarking Educational Program Repair

2024-05-08 · Charles Koutcheme, Nicola Dainese, Sami Sarsa, Juho Leinonen 외

The emergence of large language models (LLMs) has sparked enormous interest due to their potential application across a range of educational tasks. For example, recent work in programming education has used LLMs to gener…

BenchmarkingProgram Repair

Assured Automatic Programming via Large Language Models

2024-10-24 · Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury

With the advent of AI-based coding engines, it is possible to convert natural language requirements to executable code in standard programming languages. However, AI-generated code can be unreliable, and the natural lang…

Intent Discovery

RepairBench: Leaderboard of Frontier Models for Program Repair

2024-09-27 · André Silva, Martin Monperrus

AI-driven program repair uses AI models to repair buggy software by producing patches. Rapid advancements in AI surely impact state-of-the-art performance of program repair. Yet, grasping this progress requires frequent …

Program Repair

NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect

2026-03-03 · Pratibha Zunjare, Michael Hsiao arxiv

Large Language Models (LLMs) achieve strong performance on natural language tasks but remain unreliable in mathematical reasoning, frequently generating fluent yet logically inconsistent solutions. We present \textbf{Neu…

Mathematical ReasoningProgram SynthesisProgram Repair

R3A: Reliable RTL Repair Framework with Multi-Agent Fault Localization and Stochastic Tree-of-Thoughts Patch Generation

2025-11-25 · Zizhang Luo, Fan Cui, Kexing Zhou, Runlin Guo 외 arxiv

Repairing RTL bugs is crucial for hardware design and verification. Traditional automatic program repair (APR) methods define dedicated search spaces to locate and fix bugs with program synthesis. However, they heavily r…

Program SynthesisProgram Repair