中文
相关论文

相关论文: TransRepair: Context-aware Program Repair for Comp…

200 篇论文

We propose a novel task of jointly repairing program codes and generating commit messages. Code repair and commit message generation are two essential and related tasks for software development. However, existing work usually performs the…

计算与语言 · 计算机科学 2021-09-28 Jiaqi Bai , Long Zhou , Ambrosio Blanco , Shujie Liu , Furu Wei , Ming Zhou , Zhoujun Li

The current article is an interdisciplinary attempt to decipher automatic program repair processes. The review is done by the manner typical to human science known as diffraction. We attempt to spot a gap in the literature of self-healing…

软件工程 · 计算机科学 2020-11-06 S. Amirhossein Mousavi , Donya Azizi Babani , Francesco Flammini

Redundancy-based automated program repair (APR), which generates patches by referencing existing source code, has gained much attention since they are effective in repairing real-world bugs with good interpretability. However, since…

软件工程 · 计算机科学 2025-08-27 Jiajun Jiang , Fengjie Li , Zijie Zhao , Zhirui Ye , Mengjiao Liu , Bo Wang , Hongyu Zhang , Junjie Chen

The next generation of AI systems requires strong safety guarantees. This report looks at the software implementation of neural networks and related memory safety properties, including NULL pointer deference, out-of-bound access,…

软件工程 · 计算机科学 2024-05-16 Yiannis Charalambous , Edoardo Manino , Lucas C. Cordeiro

Program repair research has made tremendous progress over the last few years, and software development bots are now being invented to help developers gain productivity. In this paper, we investigate the concept of a " program repair bot "…

软件工程 · 计算机科学 2019-03-11 Simon Urli , Zhongxing Yu , Lionel Seinturier , Martin Monperrus

In collaborative software development, program merging is the mechanism to integrate changes from multiple programmers. Merge algorithms in modern version control systems report a conflict when changes interfere textually. Merge conflicts…

Reliably transferring specialized human knowledge from text into large language models remains a fundamental challenge in artificial intelligence. Fine-tuning on domain corpora has enabled substantial capability gains, but the process…

软件工程 · 计算机科学 2026-04-29 Chenkai Pan , Xinglong Xu , Yuhang Xu , Yujun Wu , Siyuan Li , Jintao Chen , Conghui He , Jingxuan Wei , Cheng Tan

Automated fault diagnosis can facilitate diagnostics assistance, speedier troubleshooting, and better-organised logistics. Currently, AI-based prognostics and health management in the automotive industry ignore the textual descriptions of…

计算与语言 · 计算机科学 2022-10-14 John Pavlopoulos , Alv Romell , Jacob Curman , Olof Steinert , Tony Lindgren , Markus Borg

Modern software development relies on the reuse of code via Application Programming Interfaces (APIs). Such reuse relieves developers from learning and developing established algorithms and data structures anew, enabling them to focus on…

软件工程 · 计算机科学 2024-02-13 Sebastian Nielebock , Paul Blockhaus , Jacob Krüger , Frank Ortmeier

Modern sentence-level NMT systems often produce plausible translations of isolated sentences. However, when put in context, these translations may end up being inconsistent with each other. We propose a monolingual DocRepair model to…

计算与语言 · 计算机科学 2019-10-16 Elena Voita , Rico Sennrich , Ivan Titov

We present CFAAR, a program repair assistance technique that operates by selectively altering the outcome of suspicious predicates in order to yield expected behavior. CFAAR is applicable to defects that are repairable by negating…

软件工程 · 计算机科学 2018-08-29 Chadi Trad , Rawad Abou Assi , Wes Masri , Fadi Zaraket

Code repair is a fundamental task in software development, facilitating efficient bug resolution and software maintenance. Although large language models (LLMs) have demonstrated considerable potential in automated code repair, their…

软件工程 · 计算机科学 2026-02-27 Dekun Dai , MingWei Liu , Anji Li , Jialun Cao , Yanlin Wang , Chong Wang , Xin Peng , Zibin Zheng

Many popular Python libraries use C-extensions for performance-critical operations allowing users to combine the best of the two worlds: The simplicity and versatility of Python and the performance of C. A drawback of this approach is that…

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 could improve the…

Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic Program Repair (APR), the production of satisfactory…

软件工程 · 计算机科学 2025-08-05 Li Huang , Ilgiz Mustafin , Marco Piccioni , Alessandro Schena , Reto Weber , Bertrand Meyer

Developing automated and smart software vulnerability detection models has been receiving great attention from both research and development communities. One of the biggest challenges in this area is the lack of code samples for all…

软件工程 · 计算机科学 2023-03-14 Khadija Hanifi , Ramin F Fouladi , Basak Gencer Unsalver , Goksu Karadag

We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find…

机器学习 · 计算机科学 2021-06-16 Muhammad Usman , Divya Gopinath , Youcheng Sun , Yannic Noller , Corina Pasareanu

Automated program repair (APR) aims to fix software bugs automatically and plays a crucial role in software development and maintenance. With the recent advances in deep learning (DL), an increasing number of APR techniques have been…

软件工程 · 计算机科学 2023-11-02 Quanjun Zhang , Chunrong Fang , Yuxiang Ma , Weisong Sun , Zhenyu Chen

Memory-related errors in C programming continue to pose significant challenges in software development, primarily due to the complexities of manual memory management inherent in the language. These errors frequently serve as vectors for…

软件工程 · 计算机科学 2025-06-24 Xiao Cheng , Zhihao Guo , Huan Huo , Yulei Sui

Selecting the right compiler optimisations has a severe impact on programs' performance. Still, the available optimisations keep increasing, and their effect depends on the specific program, making the task human intractable. Researchers…

分布式、并行与集群计算 · 计算机科学 2020-05-12 Stefano Cereda , Gianluca Palermo , Paolo Cremonesi , Stefano Doni