中文
相关论文

相关论文: Impact of Tool Support in Patch Construction

200 篇论文

Guided troubleshooting is an inherent task in the domain of technical support services. When a customer experiences an issue with the functioning of a technical service or a product, an expert user helps guide the customer through a set of…

人工智能 · 计算机科学 2018-05-25 Abhirut Gupta , Abhay Khosla , Gautam Singh , Gargi Dasgupta

In this paper, we perform a comprehensive study of 2,470 patched Android vulnerabilities that we collect from different data sources such as Android security bulletins, CVEDetails, Qualcomm Code Aurora, AOSP Git repository, and Linux…

密码学与安全 · 计算机科学 2019-05-24 Sadegh Farhang , Mehmet Bahadir Kirdan , Aron Laszka , Jens Grossklags

The number of bug reports in complex software increases dramatically. Now bugs are triaged manually, bug triage or assignment is a labor-intensive and time-consuming task. Without knowledge about the structure of the software, testers often…

软件工程 · 计算机科学 2012-06-07 Deqing Wang , Hui Zhang , Rui Liu , Mengxiang Lin , Wenjun Wu , Hongping Hu

Once a failure is observed, the primary concern of the developer is to identify what caused it in order to repair the code that induced the incorrect behavior. Until a permanent repair is afforded, code repair patches are invaluable. The…

软件工程 · 计算机科学 2017-05-03 Rawad Abou Assi , Chadi Trad , Wes Masri

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

The characterization of bug datasets is essential to support the evaluation of automatic program repair tools. In a previous work, we manually studied almost 400 human-written patches (bug fixes) from the Defects4J dataset and annotated…

软件工程 · 计算机科学 2018-07-31 Fernanda Madeiral , Thomas Durieux , Victor Sobreira , Marcelo Maia

Software vulnerabilities are prevalent but fixing software vulnerabilities is not trivial. Studies have shown that a considerable prepatch window exists because it often takes weeks or months for software vendors to fix a vulnerability.…

密码学与安全 · 计算机科学 2024-05-28 Zhen Huang , Hristina Dokic

Motivation: Automated bug detection in dynamically typed languages such as Python is essential for maintaining code quality. The lack of mandatory type annotations in such languages can lead to errors that are challenging to identify early…

软件工程 · 计算机科学 2025-01-17 Boqi Chen , José Antonio Hernández López , Gunter Mussbacher , Dániel Varró

Security updates create a short but important window in which defenders and attackers can compare vulnerable and patched software. Yet in many operational settings, the most accessible artifacts are binary packages rather than source…

密码学与安全 · 计算机科学 2026-05-08 Isaac David , Arthur Gervais

Software bots, extensively adopted by Open Source Software (OSS) projects, support developers across several activities, from automating predefined tasks to generating code that aids software engineers. However, with the growing prominence…

软件工程 · 计算机科学 2024-11-15 Danyellias Vaz de Lima Manso , Valdemar Vicente Graciano Neto , Mohamad Kassab

Developers build all the software artifacts in development. Existing work has studied the social behavior in software repositories. In one of the most important software repositories, a bug repository, developers create and update bug…

软件工程 · 计算机科学 2017-04-18 Jifeng Xuan , He Jiang , Zhilei Ren , Weiqin Zou

Artificial Intelligence has gained a lot of traction in the recent years, with machine learning notably starting to see more applications across a varied range of fields. One specific machine learning application that is of interest to us…

软件工程 · 计算机科学 2023-05-10 Teodor Rares Begu

Automated program repair (APR) techniques are effective in fixing inevitable defects in software, enhancing development efficiency and software robustness. However, due to the difficulty of generating precise specifications, existing APR…

软件工程 · 计算机科学 2025-10-17 Xu He , Shu Wang , Kun Sun

Mechanistic interpretability aims to reverse-engineer transformer computations by identifying causal circuits through activation patching. However, scaling these interventions across diverse prompts and task families produces…

人工智能 · 计算机科学 2026-05-08 Ruben Fernandez-Boullon , David N. Olivieri

As the complexity of System-on-Chip (SoC) designs continues to increase, ensuring thorough verification becomes a significant challenge for system integrators. The complexity of verification can result in undetected bugs. Unlike software or…

密码学与安全 · 计算机科学 2023-11-08 Wei-Kai Liu , Benjamin Tan , Jason M. Fung , Krishnendu Chakrabarty

Bugs are inevitable in software development, and their reporting in open repositories can enhance software transparency and reliability assessment. This study aims to extract information from the issue tracking system Jira and proposes a…

软件工程 · 计算机科学 2024-08-01 Hasan Yagiz Ozkan , Poul Einer Heegaard , Wolfgang Kellerer , Carmen Mas-Machuca

Bug localization refers to the identification of source code files which is in a programming language and also responsible for the unexpected behavior of software using the bug report, which is a natural language. As bug localization is…

软件工程 · 计算机科学 2024-06-26 Partha Chakraborty , Venkatraman Arumugam , Meiyappan Nagappan

Fixing bugs is an important phase in software development and maintenance. In practice, the process of bug fixing may conflict with the release schedule. Such confliction leads to a trade-off between software quality and release schedule,…

软件工程 · 计算机科学 2017-04-18 Jifeng Xuan , Yan Hu , He Jiang

Code review is a broadly adopted software quality practice where developers critique each others' patches. In addition to providing constructive feedback, reviewers may provide a score to indicate whether the patch should be integrated.…

软件工程 · 计算机科学 2021-04-06 Toshiki Hirao , Shane McIntosh , Akinori Ihara , Kenichi Matsumoto

Automated issue solving aims to resolve real-world issues in software repositories. The most popular benchmarks for automated issue solving are SWE-bench and its human-filtered subset SWE-bench Verified. These benchmarks leverage testing to…

软件工程 · 计算机科学 2025-09-10 You Wang , Michael Pradel , Zhongxin Liu