中文
相关论文

相关论文: Detecting Missing Method Calls as Violations of th…

200 篇论文

The problem of detecting anomalies in multiple processes is considered. We consider a composite hypothesis case, in which the measurements drawn when observing a process follow a common distribution with an unknown parameter (vector), whose…

信息论 · 计算机科学 2020-04-22 Bar Hemo , Tomer Gafni , Kobi Cohen , Qing Zhao

May's Theorem (1952), a celebrated result in social choice, provides the foundation for majority rule. May's crucial assumption of symmetry, often thought of as a procedural equity requirement, is violated by many choice procedures that…

理论经济学 · 经济学 2020-09-01 Laurent Bartholdi , Wade Hann-Caruthers , Maya Josyula , Omer Tamuz , Leeat Yariv

Mobile apps have become essential of our daily lives, making code quality a critical concern for developers. Behavioural code smells are characteristics in the source code that induce inappropriate code behaviour during execution, which…

软件工程 · 计算机科学 2026-04-14 Houcine Abdelkader Cherief , Florent Avellaneda , Naouel Moha

Context: Code smells (CS) tend to compromise software quality and also demand more effort by developers to maintain and evolve the application throughout its life-cycle. They have long been catalogued with corresponding mitigating solutions…

In the context of computational social choice, we study voting methods that assign a set of winners to each profile of voter preferences. A voting method satisfies the property of positive involvement (PI) if for any election in which a…

计算机科学与博弈论 · 计算机科学 2021-06-23 Wesley H. Holliday , Eric Pacuit

Nowadays, modern applications are developed using components written in different programming languages. These systems introduce several advantages. However, as the number of languages increases, so does the challenges related to the…

软件工程 · 计算机科学 2021-01-18 Mouna Abidi , Md Saidur Rahman , Moses Openja , Foutse Khomh

This paper describes the results of a large (+1100 responses) survey of professional software developers concerning standards for naming source code methods. The various standards for source code method names are derived from and supported…

Decision making from data involves identifying a set of attributes that contribute to effective decision making through computational intelligence. The presence of missing values greatly influences the selection of right set of attributes…

机器学习 · 计算机科学 2013-07-23 M. Naresh Kumar

This paper presents algorithm for missing values imputation in categorical data. The algorithm is based on using association rules and is presented in three variants. Experimental shows better accuracy of missing values imputation using the…

机器学习 · 计算机科学 2012-11-09 Jiří Kaiser

Quality assurance remains a key topic in human computation research. Prior work indicates that majority voting is effective for low difficulty tasks, but has limitations for harder tasks. This paper explores two methods of addressing this…

社会与信息网络 · 计算机科学 2012-04-17 Yu-An Sun , Christopher Dance

Context: Test smells are symptoms of sub-optimal design choices adopted when developing test cases. Previous studies have proved their harmfulness for test code maintainability and effectiveness. Therefore, researchers have been proposing…

The popularity of machine learning has wildly expanded in recent years. Machine learning techniques have been heatedly studied in academia and applied in the industry to create business value. However, there is a lack of guidelines for code…

软件工程 · 计算机科学 2022-03-31 Haiyin Zhang , Luís Cruz , Arie van Deursen

Missingness, or the absence of features from an input, is a concept fundamental to many model debugging tools. However, in computer vision, pixels cannot simply be removed from an image. One thus tends to resort to heuristics such as…

计算机视觉与模式识别 · 计算机科学 2022-06-15 Saachi Jain , Hadi Salman , Eric Wong , Pengchuan Zhang , Vibhav Vineet , Sai Vemprala , Aleksander Madry

Methodologies for incorporating the uncertainties characteristic of data-driven object detectors into object tracking algorithms are explored. Object tracking methods rely on measurement error models, typically in the form of measurement…

系统与控制 · 电气工程与系统科学 2021-11-04 Anish Muthali , Forrest Laine , Claire Tomlin

Class invariants are both a core concept of object-oriented programming and the source of the two key open OO verification problems: furtive access (from callbacks) and reference leak. Existing approaches force on programmers an…

软件工程 · 计算机科学 2021-05-28 Bertrand Meyer

An approach to the classification problem of machine learning, based on building local classification rules, is developed. The local rules are considered as projections of the global classification rules to the event we want to classify. A…

机器学习 · 计算机科学 2007-05-23 Vladislav Malyshkin , Ray Bakhramov , Andrey Gorodetsky

Voting is the aggregation of individual preferences in order to select a winning alternative. Selection of a winner is accomplished via a voting rule, e.g., rank-order voting, majority rule, plurality rule, approval voting. Which voting…

理论经济学 · 经济学 2020-05-18 Anne Carlstein

Logging plays a central role in ensuring reproducibility, observability, and reliability in machine learning (ML) systems. While logging is generally considered a good engineering practice, poorly designed logging can negatively affect…

软件工程 · 计算机科学 2026-03-26 Patrick Loic Foalem , Leuson Da Silva , Foutse Khomh , Heng Li , Ettore Merlo

Crypto-ransomware remains a significant threat to governments and companies alike, with high-profile cyber security incidents regularly making headlines. Many different detection systems have been proposed as solutions to the ever-changing…

密码学与安全 · 计算机科学 2023-05-31 Simon R Davies , Richard Macfarlane , William J Buchanan

Duplicated code has a negative impact on the quality of software systems and should be detected at least. In this paper, we discuss an approach that improves source code retrieval using the structural information about the programs. We…

软件工程 · 计算机科学 2013-08-19 Yoshihisa Udagawa