中文
相关论文

相关论文: NoFAQ: Synthesizing Command Repairs from Examples

200 篇论文

Software bugs are prevalent in modern software systems and notoriously hard to debug manually. Therefore, a large body of research efforts have been dedicated to automated software debugging, including both automated fault localization and…

软件工程 · 计算机科学 2019-10-04 Yiling Lou , Ali Ghanbari , Xia Li , Lingming Zhang , Dan Hao , Lu Zhang

Automated Program Repair (APR) helps improve the efficiency of software development and maintenance. Recent APR techniques use deep learning, particularly the encoder-decoder architecture, to generate patches. Though existing DL-based APR…

软件工程 · 计算机科学 2022-03-25 Qihao Zhu , Zeyu Sun , Yuan-an Xiao , Wenjie Zhang , Kang Yuan , Yingfei Xiong , Lu Zhang

Code editing plays a vital role in software engineering, requiring developers to adjust existing code according to natural language instructions while keeping functionality intact and avoiding unnecessary modifications. However,…

软件工程 · 计算机科学 2025-10-08 Zekai Zhang , Mingwei Liu , Zhenxi Chen , Linxi Liang , Yuxuan Chen , Guangsheng Ou , Yanlin Wang , Dan Li , Xin Peng , Zibin Zheng

Programmers often struggle to identify and fix bugs in their programs. In recent years, many language models (LMs) have been proposed to fix erroneous programs and support error recovery. However, the LMs tend to generate solutions that…

计算与语言 · 计算机科学 2023-12-27 Atsushi Shirafuji , Md. Mostafizer Rahman , Md Faizul Ibne Amin , Yutaka Watanobe

Syntax errors are generally easy to fix for humans, but not for parsers in general nor LR parsers in particular. Traditional 'panic mode' error recovery, though easy to implement and applicable to any grammar, often leads to a cascading…

编程语言 · 计算机科学 2020-07-06 Lukas Diekmann , Laurence Tratt

Context: Issue tracking systems are used to track and describe tasks in the development process, e.g., requested feature improvements or reported bugs. However, past research has shown that the reported issue types often do not match the…

软件工程 · 计算机科学 2021-10-11 Steffen Herbold , Alexander Trautsch , Fabian Trautsch

TypeScript has rapidly become a popular language for modern web development, yet its effect on software faults remains poorly understood. This paper presents the first large-scale empirical study of bugs in real-world TypeScript projects.…

软件工程 · 计算机科学 2026-01-30 TianYi Tang , Saba Alimadadi , Nick Sumner

Many programmers, when they encounter an error, would like to have the benefit of automatic fix suggestions---as long as they are, most of the time, adequate. Initial research in this direction has generally limited itself to specific…

软件工程 · 计算机科学 2015-03-18 Yu Pei , Yi Wei , Carlo A. Furia , Martin Nordio , Bertrand Meyer

Developers use shell commands for many tasks, such as file system management, network control, and process management. Bash is one of the most commonly used shells and plays an important role in Linux system development and maintenance. Due…

软件工程 · 计算机科学 2022-06-28 Chi Yu , Guang Yang , Xiang Chen , Ke Liu , Yanlin Zhou

A hot fix is an unplanned improvement to a specific time-critical issue deployed to a software system in production. While hot fixing is an essential and common activity in software maintenance, it has never been surveyed as a research…

软件工程 · 计算机科学 2024-05-17 Carol Hanna , David Clark , Federica Sarro , Justyna Petke

Background: Compilers tend to produce cryptic and uninformative error messages, leaving programmers confused and requiring them to spend precious time to resolve the underlying error. To find help, programmers often take to online…

软件工程 · 计算机科学 2019-06-28 Emillie Thiselton , Christoph Treude

Many software development tasks, such as implementing features and fixing bugs, begin with developers posing questions about a codebase. However, answering questions about codebases that span millions of lines of code across thousands of…

Just-In-Time defect prediction (JIT-DP) models can identify defect-inducing commits at check-in time. Even though previous studies have achieved a great progress, these studies still have the following limitations: 1) useful information…

软件工程 · 计算机科学 2022-04-12 Chao Ni , Kaiwen Yang , Xin Xia , David Lo , Xiang Chen , Xiaohu Yang

Patching is a common activity in software development. It is generally performed on a source code base to address bugs or add new functionalities. In this context, given the recurrence of bugs across projects, the associated similar patches…

Enabling Large Language Models (LLMs) to generate citations in Question-Answering (QA) tasks is an emerging paradigm aimed at enhancing the verifiability of their responses when LLMs are utilizing external references to generate an answer.…

计算与语言 · 计算机科学 2024-12-18 Jiajun Shen , Tong Zhou , Yubo Chen , Kang Liu

Pointers are a powerful, but dangerous feature provided by the C and C++ programming languages, and incorrect use of pointers is a common source of bugs and security vulnerabilities. Making secure software is crucial, as vulnerabilities…

形式语言与自动机理论 · 计算机科学 2024-11-01 Vlad-Alexandru Teodorescu , Dorel Lucanu

Developers often search for relevant code examples on the web for their programming tasks. Unfortunately, they face two major problems. First, the search is impaired due to a lexical gap between their query (task description) and the…

Understanding the practice of refactoring documentation is of paramount importance in academia and industry. Issue tracking systems are used by most software projects enabling developers, quality assurance, managers, and users to submit…

软件工程 · 计算机科学 2022-03-22 Eman Abdullah AlOmar , Anthony Peruma , Mohamed Wiem Mkaouer , Christian D. Newman , Ali Ouni

In community-based software development, developers frequently rely on live-chatting to discuss emergent bugs/errors they encounter in daily development tasks. However, it remains a challenging task to accurately record such knowledge due…

软件工程 · 计算机科学 2022-04-21 Lin Shi , Fangwen Mu , Yumin Zhang , Ye Yang , Junjie Chen , Xiao Chen , Hanzhi Jiang , Ziyou Jiang , Qing Wang

As AI models tackle increasingly complex problems, ensuring reliable human oversight becomes more challenging due to the difficulty of verifying solutions. Approaches to scaling AI supervision include debate, in which two agents engage in…

人工智能 · 计算机科学 2025-04-01 Gabriel Recchia , Chatrik Singh Mangat , Issac Li , Gayatri Krishnakumar