中文
相关论文

相关论文: How Much Can a Behavior-Preserving Changeset Be De…

200 篇论文

Modern code review is a widely used technique employed in both industrial and open-source projects to improve software quality, share knowledge, and ensure adherence to coding standards and guidelines. During code review, developers may…

软件工程 · 计算机科学 2022-03-29 Eman Abdullah AlOmar , Moataz Chouchen , Mohamed Wiem Mkaouer , Ali Ouni

Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of…

计算机科学中的逻辑 · 计算机科学 2023-05-30 Jorge Fandinno , Zachary Hansen , Yuliya Lierler , Vladimir Lifschitz , Nathan Temple

The proliferation of online information sources has led to an increased use of wrappers for extracting data from Web sources. While most of the previous research has focused on quick and efficient generation of wrappers, the development of…

人工智能 · 计算机科学 2011-06-27 C. A. Knoblock , K. Lerman , S. N. Minton

Context. Refining or altering existing behavior is the daily work of every developer, but that cannot be always anticipated, and software sometimes cannot be stopped. In such cases, unanticipated adaptation of running systems is of interest…

编程语言 · 计算机科学 2020-02-17 Steven Costiou , Vincent Aranega , Marcus Denker

This paper addresses the decomposition of biochemical networks into functional modules that preserve their dynamic properties upon interconnection with other modules, which permits the inference of network behavior from the properties of…

分子网络 · 定量生物学 2014-12-03 Hari Sivakumar , Stephen R. Proulx , João P. Hespanha

Monitoring the status of large computing systems is essential to identify unexpected behavior and improve their performance and uptime. However, due to the large-scale and distributed design of such computing systems as well as a large…

分布式、并行与集群计算 · 计算机科学 2024-02-09 Tom Richard Vargis , Siavash Ghiasvand

Dealing with merge conflicts in version control systems is a challenging task for software developers. Resolving merge conflicts is a time-consuming and error-prone process, which distracts developers from important tasks. Recent work shows…

软件工程 · 计算机科学 2022-08-11 Max Ellis , Sarah Nadi , Danny Dig

Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refactoring is a small change to the database schema which…

软件工程 · 计算机科学 2010-09-09 Patrick O'Beirne

Background: Code review is a cognitively demanding and time-consuming process. Previous qualitative studies hinted at how decomposing change sets into multiple yet internally coherent ones would improve the reviewing process. So far,…

软件工程 · 计算机科学 2020-01-22 Marco di Biase , Magiel Bruntink , Arie van Deursen , Alberto Bacchelli

We study the problem of learning personalized decision policies from observational data while accounting for possible unobserved confounding. Previous approaches, which assume unconfoundedness, i.e., that no unobserved confounders affect…

机器学习 · 计算机科学 2019-11-05 Nathan Kallus , Angela Zhou

Deep functional map frameworks are widely employed for 3D shape matching. However, most existing deep functional map methods cannot adaptively capture important frequency information for functional map estimation in specific matching…

计算机视觉与模式识别 · 计算机科学 2024-06-26 Feifan Luo , Qinsong Li , Ling Hu , Haibo Wang , Xinru Liu , Shengjun Liu , Hongyang Chen

We provide an approach to exploratory data analysis in matched observational studies with a single intervention and multiple endpoints. In such settings, the researcher would like to explore evidence for actual treatment effects among these…

统计方法学 · 统计学 2025-12-10 Mengqi Lin , Colin Fogarty

Code review is a key development practice that contributes to improve software quality and to foster knowledge sharing among developers. However, code review usually takes time and demands detailed and time-consuming analysis of textual…

软件工程 · 计算机科学 2021-03-23 Rodrigo Brito , Marco Tulio Valente

Change detection in remote sensing imagery is essential for a variety of applications such as urban planning, disaster management, and climate research. However, existing methods for identifying semantically changed areas overlook the…

计算机视觉与模式识别 · 计算机科学 2023-12-08 Maximilian Bernhard , Niklas Strauß , Matthias Schubert

Binary code similarity detection is a core task in reverse engineering. It supports malware analysis and vulnerability discovery by identifying semantically similar code in different contexts. Modern methods have progressed from manually…

人工智能 · 计算机科学 2025-09-30 Charles E. Gagnon , Steven H. H. Ding , Philippe Charland , Benjamin C. M. Fung

Refactoring is a critical task in software maintenance, and is usually performed to enforce better design and coding practices, while coping with design defects. The Extract Method refactoring is widely used for merging duplicate code…

We explore phase transitions of plan modification, which mainly focus on the conformant planning problems. By analyzing features of plan modification in conformant planning problems, quantitative results are obtained. If the number of…

人工智能 · 计算机科学 2010-12-14 Junping Zhou , Minghao Yin

Refactoring is a widespread practice that helps developers to improve the maintainability and readability of their code. However, there is a limited number of studies empirically investigating the actual motivations behind specific…

软件工程 · 计算机科学 2018-08-07 Danilo Silva , Nikolaos Tsantalis , Marco Tulio Valente

Clinical machine learning applications are often plagued with confounders that are clinically irrelevant, but can still artificially boost the predictive performance of the algorithms. Confounding is especially problematic in mobile health…

应用统计 · 统计学 2018-11-29 Elias Chaibub Neto

When processing similar frames in succession, we can take advantage of the locality of the convolution operation to reevaluate only portions of the image that changed from the previous frame. By saving the output of a layer of convolutions…

计算机视觉与模式识别 · 计算机科学 2019-09-17 Arno Khachatourian