中文
相关论文

相关论文: Patch Quality and Diversity of Invariant-Guided Se…

200 篇论文

Automated Program Repair (APR) agents leverage Large Language Models (LLMs) to autonomously diagnose and fix software bugs through reasoning, planning, and tool use. Despite impressive leaderboard gains on benchmarks such as SWE-bench,…

软件工程 · 计算机科学 2026-05-28 Ira Ceka , Hailie Mitchell , Saurabh Pujar , Luca Buratti , Shyam Ramji , Junfeng Yang , Gail Kaiser , Baishakhi Ray

Large language models (LLMs) have been successfully applied to software engineering tasks, including program repair. However, their application in search-based techniques such as Genetic Improvement (GI) is still largely unexplored. In this…

Patch robustness certification ensures no patch within a given bound on a sample can manipulate a deep learning model to predict a different label. However, existing techniques cannot certify samples that cannot meet their strict bars at…

机器学习 · 计算机科学 2023-09-08 Qilin Zhou , Zhengyuan Wei , Haipeng Wang , W. K. Chan

Template-based program repair research is in need for a common ground to express fix patterns in a standard and reusable manner. We propose to build on the concept of generic patch (also known as semantic patch), which is widely used in the…

软件工程 · 计算机科学 2020-11-30 Anil Koyuncu , Tegawendé F. Bissyandé , Jacques Klein , Yves Le Traon

Well-designed and publicly available datasets of bugs are an invaluable asset to advance research fields such as fault localization and program repair as they allow directly and fairly comparison between competing techniques and also the…

软件工程 · 计算机科学 2021-11-12 Victor Sobreira , Thomas Durieux , Fernanda Madeiral , Martin Monperrus , Marcelo A. Maia

Fault localization, aiming at localizing the root cause of the bug under repair, has been a longstanding research topic. Although many approaches have been proposed in the last decades, most of the existing studies work at coarse-grained…

软件工程 · 计算机科学 2022-11-22 Jiajun Jiang , Yumeng Wang , Junjie Chen , Delin Lv , Mengjiao Liu

Automatic program repair (APR) aims to reduce the cost of manually fixing software defects. However, APR suffers from generating a multitude of overfitting patches, those patches that fail to correctly repair the defect beyond making the…

软件工程 · 计算机科学 2021-08-09 He Ye , Jian Gu , Matias Martinez , Thomas Durieux , Martin Monperrus

Gram-based and patch-based approaches are two important research lines of style transfer. Recent diversified Gram-based methods have been able to produce multiple and diverse stylized outputs for the same content and style images. However,…

计算机视觉与模式识别 · 计算机科学 2022-05-31 Zhizhong Wang , Lei Zhao , Haibo Chen , Zhiwen Zuo , Ailin Li , Wei Xing , Dongming Lu

In recent years, more vulnerabilities have been discovered every day, while manual vulnerability repair requires specialized knowledge and is time-consuming. As a result, many detected or even published vulnerabilities remain unpatched,…

软件工程 · 计算机科学 2025-04-11 Zhengyao Liu , Yunlong Ma , Jingxuan Xu , Junchen Ai , Xiang Gao , Hailong Sun , Abhik Roychoudhury

Millions of open-source projects with numerous bug fixes are available in code repositories. This proliferation of software development histories can be leveraged to learn how to fix common programming bugs. To explore such a potential, we…

软件工程 · 计算机科学 2019-05-22 Michele Tufano , Cody Watson , Gabriele Bavota , Massimiliano Di Penta , Martin White , Denys Poshyvanyk

Automated program repair is a crucial task for improving the efficiency of software developers. Recently, neural-based techniques have demonstrated significant promise in generating correct patches for buggy code snippets. However, most…

软件工程 · 计算机科学 2023-05-17 Yuwei Zhang , Ge Li , Zhi Jin , Ying Xing

Automated program repair (APR) is a technology that identifies and repairs bugs automatically. However, repairing multi-chunk bugs remains a long-standing and challenging problem because an APR technique must consider dependencies and then…

软件工程 · 计算机科学 2023-11-08 Jisung Kim , Byeongjung Lee

Ensembles depend on diversity for improved performance. Many ensemble training methods, therefore, attempt to optimize for diversity, which they almost always define in terms of differences in training set predictions. In this paper,…

机器学习 · 计算机科学 2020-02-10 Andrew Slavin Ross , Weiwei Pan , Leo Anthony Celi , Finale Doshi-Velez

Towards predicting patch correctness in APR, we propose a simple, but novel hypothesis on how the link between the patch behaviour and failing test specifications can be drawn: similar failing test cases should require similar patches. We…

There is an implicit assumption in software testing that more diverse and varied test data is needed for effective testing and to achieve different types and levels of coverage. Generic approaches based on information theory to measure and…

软件工程 · 计算机科学 2017-09-19 Robert Feldt , Simon Poulding

Benchmarks driven by test suites, notably SWE-bench, have become the de facto standard for measuring the effectiveness of automated issue-resolution agents: a generated patch is accepted whenever it passes the accompanying regression tests.…

软件工程 · 计算机科学 2026-04-03 Chenglin Li , Yisen Xu , Zehao Wang , Shin Hwei Tan , Tse-Hsun , Chen

Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, e.g., test suites, to generate repairs. This, however, may render ASR tools to generate incorrect repairs that do not generalize.…

软件工程 · 计算机科学 2018-06-29 Xuan Bach D. Le , Lingfeng Bao , David Lo , Xin Xia , Shanping Li

Automatic program repair (APR) aims to reduce the manual efforts required to identify and fix errors in source code. Before the rise of LLM-based agents, a common strategy was to increase the number of generated patches, sometimes to the…

软件工程 · 计算机科学 2025-05-07 Fernando Vallecillos Ruiz , Max Hort , Leon Moonen

Runtime software patching aims to minimize or eliminate service downtime, user interruptions and potential data losses while deploying a patch. Due to modern software systems' high variance and heterogeneity, no universal solutions are…

软件工程 · 计算机科学 2023-02-23 Chadni Islam , Victor Prokhorenko , M. Ali Babar

Automated Program Repair has attracted significant research in recent years, leading to diverse techniques that focus on two main directions: search-based and semantic-based program repair. The former techniques often face challenges due to…

软件工程 · 计算机科学 2023-09-06 Abdulaziz Alhefdhi , Hoa Khanh Dam , Thanh Le-Cong , Bach Le , Aditya Ghose