中文
相关论文

相关论文: Automatically Removing Unnecessary Stubbings from …

200 篇论文

As software systems continue to grow in complexity, testing has become a fundamental part of ensuring the quality and reliability of software products. Yet, software testing is still often perceived, both in industry and academia, as a…

软件工程 · 计算机科学 2025-07-29 Davi Gama Hardman , Cesar França , Brody Stuart-Verner , Ronnie de Souza Santos

Mocking allows testing program units in isolation. A developer who writes tests with mocks faces two challenges: design realistic interactions between a unit and its environment; and understand the expected impact of these interactions on…

软件工程 · 计算机科学 2024-09-17 Deepika Tiwari , Martin Monperrus , Benoit Baudry

ARES OS 2.0 (hereinafter ARES OS) is an open-source software suite to enable laboratory automation and closed-loop autonomous experimentation. Its function is to orchestrate experimental actions and data handoff between lab equipment,…

计算工程、金融与科学 · 计算机科学 2026-04-07 Arthur W. N. Sloan , Robert W. Waelder , Morgen L. Smith , Nicholas Kleiner , Arnas Babeckis , Jason Wheeler , Daylond Hooper , Benji Maruyama

JavaScript is an increasingly popular language for server-side development, thanks in part to the Node.js runtime environment and its vast ecosystem of modules. With the Node.js package manager npm, users are able to easily include external…

软件工程 · 计算机科学 2021-10-28 Alexi Turcotte , Ellen Arteca , Ashish Mishra , Saba Alimadadi , Frank Tip

Modern software development teams are distributed across onsite and off-shore locations. Each team has developers with varying experience levels and English communication skills. In such a diverse development environment it is important to…

软件工程 · 计算机科学 2016-10-19 Amol Patwardhan

Completeness is a desirable property of test suites. Roughly, completeness guarantees that a non-equivalent implementation under test will always be identified. Several approaches proposed sufficient, and sometimes also necessary,…

软件工程 · 计算机科学 2015-08-13 Adilson Luiz Bonifacio , Arnaldo Vieira Moura

For the past six years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis Benchmark Suite to benchmark many aspects of automatic program synthesis systems. These problems have…

软件工程 · 计算机科学 2021-06-14 Thomas Helmuth , Peter Kelly

Modern software development demands rapid, reliable testing methods to maintain high quality in increasingly complex systems. This paper details a comprehensive approach to designing and implementing robust test automation frameworks by…

软件工程 · 计算机科学 2025-05-26 Srikanth Srinivas , Lagan Goel

Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J is provided with a test suite and at least one failing test case that triggers the bug. In this paper, we report on an experiment to…

软件工程 · 计算机科学 2015-12-24 Matias Martinez , Thomas Durieux , Jifeng Xuan , Romain Sommerard , Martin Monperrus

Software bugs often lead to software crashes, which cost US companies upwards of $2.08 trillion annually. Automated Crash Reproduction (ACR) aims to generate unit tests that successfully reproduce a crash. The goal of ACR is to aid…

软件工程 · 计算机科学 2024-05-10 Philip Oliver , Jens Dietrich , Craig Anslow , Michael Homer

Mobile applications are being used every day by more than half of the world's population to perform a great variety of tasks. With the increasingly widespread usage of these applications, the need arises for efficient techniques to test…

软件工程 · 计算机科学 2017-09-05 Ariel Rosenfeld , Odaya Kardashov , Orel Zang

Keeping track of and managing Self-Admitted Technical Debts (SATDs) are important to maintaining a healthy software project. This requires much time and effort from human experts to identify the SATDs manually. The current automated…

软件工程 · 计算机科学 2020-10-20 Zhe Yu , Fahmid Morshed Fahid , Huy Tu , Tim Menzies

The software development lifecycle depends heavily on the testing process, which is an essential part of finding issues and reviewing the quality of software. Software testing can be done in two ways: manually and automatically. With an…

软件工程 · 计算机科学 2024-05-06 Hussein Mohammed Ali , Mahmood Yashar Hamza , Tarik Ahmed Rashid

As modern software systems continue to grow in complexity, triage has become a fundamental process in system operations and maintenance. Triage aims to efficiently prioritize, assign, and assess issues to ensure the reliability of complex…

软件工程 · 计算机科学 2025-11-13 Yongxin Zhao , Shenglin Zhang , Yujia Wu , Yuxin Sun , Yongqian Sun , Dan Pei , Chetan Bansal , Minghua Ma

Flaw-finding static analysis tools typically generate large volumes of code flaw alerts including many false positives. To save on human effort to triage these alerts, a significant body of work attempts to use machine learning to classify…

软件工程 · 计算机科学 2021-05-11 Lori Flynn , William Snavely , Zachary Kurtz

Mutation testing is used to evaluate the effectiveness of test suites. In recent years, a promising variation called extreme mutation testing emerged that is computationally less expensive. It identifies methods where their functionality…

软件工程 · 计算机科学 2022-04-15 Maik Betka , Stefan Wagner

As large language models are integrated into society, robustness toward a suite of prompts is increasingly important to maintain reliability in a high-variance environment.Robustness evaluations must comprehensively encapsulate the various…

计算与语言 · 计算机科学 2023-11-14 Alex Mei , Sharon Levy , William Yang Wang

Automatic testing is a widely adopted technique for improving software quality. Software developers add, remove and update test methods and test classes as part of the software development process as well as during the evolution phase,…

软件工程 · 计算机科学 2017-09-27 Stanislav Levin , Amiram Yehudai

Executing large test suites is time and resource consuming, sometimes impossible, and such test suites typically contain many redundant test cases. Hence, test case minimization is used to remove redundant test cases that are unlikely to…

软件工程 · 计算机科学 2022-12-22 Rongqi Pan , Taher A. Ghaleb , Lionel Briand

Checking software application suitability using automated software tools has become a vital element for most organisations irrespective of whether they produce in-house software or simply customise off-the-shelf software applications for…

软件工程 · 计算机科学 2015-08-05 Rajesh Mathur , Scott Miles , Miao Du