中文
相关论文

相关论文: Cerebro: Static Subsuming Mutant Selection

200 篇论文

Bone Marrow Transplant, a gradational rescue for a wide range of disorders emanating from the bone marrow, is an efficacious surgical treatment. Several risk factors, such as post-transplant illnesses, new malignancies, and even organ…

In recent past, a number of researchers have proposed genetic algorithm (GA) based strategies for finding optimal test order while minimizing the stub complexity during integration testing. Even though, metaheuristic algorithms have a wide…

软件工程 · 计算机科学 2014-10-20 Chayanika Sharma , Ritu Sibal

Industrial robotic systems (IRS) are increasingly deployed in diverse environments, where failures can result in severe accidents and costly downtime. Ensuring the reliability of the software controlling these systems is therefore critical.…

机器人学 · 计算机科学 2025-11-19 Marcela Gonçalves dos Santos , Sylvain Hallé , Fábio Petrillo

Transfer learning has recently become the dominant paradigm of machine learning. Pre-trained models fine-tuned for downstream tasks achieve better performance with fewer labelled examples. Nonetheless, it remains unclear how to develop…

机器学习 · 计算机科学 2024-01-30 Jonas Pfeiffer , Sebastian Ruder , Ivan Vulić , Edoardo Maria Ponti

We tackle the problem of quantifying failure probabilities for expensive deterministic computer experiments with stochastic inputs under a fixed budget. The computational cost of the computer simulation prohibits direct Monte Carlo (MC) and…

统计方法学 · 统计学 2025-07-08 Annie S. Booth , S. Ashwin Renganathan

Quantum software testing has attracted interest in recent years, prompting the development of various techniques to automate the testing of quantum software. These techniques generate test cases that must be assessed for their effectiveness…

软件工程 · 计算机科学 2026-04-20 Eñaut Mendiluze Usandizaga , Thomas Laurent , Paolo Arcaini , Shaukat Ali

Central Force Optimization is a deterministic metaheuristic for an evolutionary algorithm that searches a decision space by flying probes whose trajectories are computed using a gravitational metaphor. CFO benefits substantially from the…

其他计算机科学 · 计算机科学 2010-05-31 Richard A. Formato

The goal of coreset selection in supervised learning is to produce a weighted subset of data, so that training only on the subset achieves similar performance as training on the entire dataset. Existing methods achieved promising results in…

机器学习 · 计算机科学 2023-01-25 Xiao Zhou , Renjie Pi , Weizhong Zhang , Yong Lin , Tong Zhang

There are two common approaches for optimizing the performance of a machine: genetic algorithms and machine learning. A genetic algorithm is applied over many generations whereas machine learning works by applying feedback until the system…

人工智能 · 计算机科学 2017-09-01 Leigh Sheneman , Arend Hintze

In this paper we apply mutation testing in an in-time fashion, i.e., across multiple project releases. Thus, we investigate how the mutants of the current version behave in the future versions of the programs. We study the characteristics…

软件工程 · 计算机科学 2025-01-06 Jeongju Sohn , Ezekiel Soremekun , Michail Papadakis

High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these decisions forms a search space of programs which is…

编程语言 · 计算机科学 2025-05-06 Samuel J. Kaufman , René Just , Rastislav Bodik

Small molecules exhibiting desirable property profiles are often discovered through an iterative process of designing, synthesizing, and testing sets of molecules. The selection of molecules to synthesize from all possible candidates is a…

定量方法 · 定量生物学 2024-05-29 Jenna C. Fromer , Connor W. Coley

We consider the problem of learning the causal MAG of a system from observational data in the presence of latent variables and selection bias. Constraint-based methods are one of the main approaches for solving this problem, but the…

机器学习 · 计算机科学 2021-10-26 Sina Akbari , Ehsan Mokhtarian , AmirEmad Ghassami , Negar Kiyavash

Stakeholders make various types of decisions with respect to requirements, design, management, and so on during the software development life cycle. Nevertheless, these decisions are typically not well documented and classified due to…

软件工程 · 计算机科学 2021-05-05 Liming Fu , Peng Liang , Xueying Li , Chen Yang

When faced with a specific optimization problem, choosing which algorithm to use is always a tough task. Not only is there a vast variety of algorithms to select from, but these algorithms often are controlled by many hyperparameters, which…

神经与进化计算 · 计算机科学 2020-01-07 Diederick Vermetten , Hao Wang , Carola Doerr , Thomas Bäck

Test Case Prioritization (TCP) is an important component of regression testing, allowing for earlier detection of faults or helping to reduce testing time and cost. While several TCP approaches exist in the research literature, a growing…

软件工程 · 计算机科学 2018-09-20 Qi Luo , Kevin Moran , Denys Poshyvanyk , Massimiliano Di Penta

Regression Testing is exclusively executed to guarantee the desirable functionality of existing software after pursuing quite a few amendments or variations in it. Perhaps, it testifies the quality of the modified software by concealing the…

软件工程 · 计算机科学 2013-12-10 R. Beena , S. Sarala

Clustering is often used for discovering structure in data. Clustering systems differ in the objective function used to evaluate clustering quality and the control strategy used to search the space of clusterings. Ideally, the search…

人工智能 · 计算机科学 2014-11-17 D. Fisher

Surrogates, models that mimic the behavior of programs, form the basis of a variety of development workflows. We study three surrogate-based design patterns, evaluating each in case studies on a large-scale CPU simulator. With surrogate…

编程语言 · 计算机科学 2021-12-14 Alex Renda , Yi Ding , Michael Carbin

We consider the problem of detecting multiple changepoints in large data sets. Our focus is on applications where the number of changepoints will increase as we collect more data: for example in genetics as we analyse larger regions of the…

统计方法学 · 统计学 2015-03-17 R. Killick , P. Fearnhead , I. A. Eckley