Efficiently Finding Higher-Order Mutants

04/04/2020
by   Chu-Pan Wong, et al.
0

Higher-order mutation has the potential for improving major drawbacks of traditional first-order mutation, such as by simulating more realistic faults or improving test optimization techniques. Despite interest in studying promising higher-order mutants, such mutants are difficult to find due to the exponential search space of mutation combinations. State-of-the-art approaches rely on genetic search, which is often incomplete and expensive due to its stochastic nature. First, we propose a novel way of finding a complete set of higher-order mutants by using variational execution, a technique that can, in many cases, explore large search spaces completely and often efficiently. Second, we use the identified complete set of higher-order mutants to study their characteristics. Finally, we use the identified characteristics to design and evaluate a new search strategy, independent of variational execution, that is highly effective at finding higher-order mutants even in large code bases.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/12/2018

Finding Higher Order Mutants Using Variational Execution

Mutation testing is an effective but time consuming method for gauging t...
research
04/22/2021

Effectively Sampling Higher Order Mutants Using Causal Effect

Higher Order Mutation (HOM) has been proposed to avoid equivalent mutant...
research
11/18/2020

Efficient Full Higher-Order Unification

We developed a procedure to enumerate complete sets of higher-order unif...
research
01/13/2023

Mutation Testing of Deep Reinforcement Learning Based on Real Faults

Testing Deep Learning (DL) systems is a complex task as they do not beha...
research
06/03/2023

LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas

Search is an important technique in program synthesis that allows for ad...
research
06/01/2022

Higher-Order Attention Networks

This paper introduces higher-order attention networks (HOANs), a novel c...
research
08/16/2022

SAT-Inspired Higher-Order Eliminations

We generalize several propositional preprocessing techniques to higher-o...

Please sign up or login with your details

Forgot password? Click here to reset