English
Related papers

Related papers: Efficiently Finding Higher-Order Mutants

200 papers

Mutation testing is a standard technique to evaluate the quality of a test suite. Due to its computationally intensive nature, many approaches have been proposed to make this technique feasible in real case scenarios. Among these…

Software Engineering · Computer Science 2016-07-11 Ali Parsai , Alessandro Murgia , Serge Demeyer

This paper can be seen as an attempt of rethinking the {\em Extra-Gradient Philosophy} for solving Variational Inequality Problems. We show that the properly defined {\em Reduced Gradients} can be used instead for finding approximate…

Optimization and Control · Mathematics 2023-12-05 Yurii Nesterov

First-order stochastic methods are the state-of-the-art in large-scale machine learning optimization owing to efficient per-iteration complexity. Second-order methods, while able to provide faster convergence, have been much less explored…

Machine Learning · Statistics 2017-12-01 Naman Agarwal , Brian Bullins , Elad Hazan

Two meta-evolutionary optimization strategies described in this paper accelerate the convergence of evolutionary programming algorithms while still retaining much of their ability to deal with multi-modal problems. The strategies, called…

Neural and Evolutionary Computing · Computer Science 2009-03-26 Ted Dunning

We develop a toolbox for exact analysis of iterative algorithms on a class of high-dimensional nonconvex optimization problems with random data. While prior work has shown that low-dimensional statistics of (generalized) first-order methods…

Statistics Theory · Mathematics 2025-07-29 Michael Celentano , Chen Cheng , Ashwin Pananjady , Kabir Aladin Verchand

We propose an Extended Hybrid High-Order scheme for the Poisson problem with solution possessing weak singularities. Some general assumptions are stated on the nature of this singularity and the remaining part of the solution. The method is…

Numerical Analysis · Mathematics 2022-05-16 Liam Yemm

Quality-Diversity (QD) algorithms aim to discover diverse, high-performing solutions across behavioral niches. However, QD search often stagnates as incremental variation operators struggle to propagate building blocks across large…

Neural and Evolutionary Computing · Computer Science 2026-02-17 Joshua Hutchinson , J. Michael Herrmann , Simón C. Smith

Quantum machine learning integrates the strengths of quantum computing and machine learning, enabling models to learn complex features using fewer parameters than their classical counterparts. Due to the increasing complexity of quantum…

Quantum Physics · Physics 2026-05-04 Emma Andrews , Prabhat Mishra

In a variety of domains, from robotics to finance, Quality-Diversity algorithms have been used to generate collections of both diverse and high-performing solutions. Multi-Objective Quality-Diversity algorithms have emerged as a promising…

Artificial Intelligence · Computer Science 2026-02-03 Hannah Janmohamed , Maxence Faldor , Thomas Pierrot , Antoine Cully

Higher Order Mutation (HOM) has been proposed to avoid equivalent mutants and improve the scalability of mutation testing, but generating useful HOMs remain an expensive search problem on its own. We propose a new approach to generate…

Software Engineering · Computer Science 2021-04-23 Saeyoon Oh , Seongmin Lee , Shin Yoo

Randomized search heuristics have been applied successfully to a plethora of problems. This success is complemented by a large body of theoretical results. Unfortunately, the vast majority of these results regard problems with binary or…

Neural and Evolutionary Computing · Computer Science 2025-04-22 Benjamin Doerr , Martin S. Krejca , Günter Rudolph

We explore efficient neural architecture search methods and show that a simple yet powerful evolutionary algorithm can discover new architectures with excellent performance. Our approach combines a novel hierarchical genetic representation…

Machine Learning · Computer Science 2018-02-26 Hanxiao Liu , Karen Simonyan , Oriol Vinyals , Chrisantha Fernando , Koray Kavukcuoglu

Resource constrained job scheduling is a hard combinatorial optimisation problem that originates in the mining industry. Off-the-shelf solvers cannot solve this problem satisfactorily in reasonable timeframes, while other solution methods…

Neural and Evolutionary Computing · Computer Science 2024-07-23 Su Nguyen , Dhananjay Thiruvady , Yuan Sun , Mengjie Zhang

Feature selection is a critical step in the analysis of high-dimensional data, where the number of features often vastly exceeds the number of samples. Effective feature selection not only improves model performance and interpretability but…

Machine Learning · Computer Science 2025-01-27 Raquel Espinosa , Gracia Sánchez , José Palma , Fernando Jiménez

Recently a majorization method for optimizing partition functions of log-linear models was proposed alongside a novel quadratic variational upper-bound. In the batch setting, it outperformed state-of-the-art first- and second-order…

Machine Learning · Computer Science 2013-09-24 Anna Choromanska , Tony Jebara

The amount of information in the form of features and variables avail- able to machine learning algorithms is ever increasing. This can lead to classifiers that are prone to overfitting in high dimensions, high di- mensional models do not…

Machine Learning · Computer Science 2014-02-12 Aaron Karper

Background. Many mutation reduction strategies, which aim to reduce the number of mutants, have been proposed. Problem. It is important to measure the ability of a mutation reduction strategy to maintain test suite effectiveness evaluation.…

Software Engineering · Computer Science 2021-02-08 Peng Zhang , Yang Wang , Xutong Liu , Yanhui Li , Yibao Yang , Ziyuan Wang , Xiaoyu Zhou , Lin Chen , Yuming Zhou

Evolutionary algorithms have been frequently applied to constrained continuous optimisation problems. We carry out feature based comparisons of different types of evolutionary algorithms such as evolution strategies, differential evolution…

Artificial Intelligence · Computer Science 2015-09-24 Shayan Poursoltan , Frank Neumann

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.…

Robotics · Computer Science 2025-11-19 Marcela Gonçalves dos Santos , Sylvain Hallé , Fábio Petrillo

Federated causal discovery aims to uncover the causal relationships between entities while protecting data privacy, which has significant importance and numerous applications in real-world scenarios. Existing federated causal structure…

Machine Learning · Computer Science 2025-07-10 Wei Chen , Wanyang Gu , Linjun Peng , Ruichu Cai , Zhifeng Hao , Kun Zhang