Predictive mutation testing

J Zhang, Z Wang, L Zhang, D Hao, L Zang… - Proceedings of the 25th …, 2016 - dl.acm.org
Mutation testing is a powerful methodology for evaluating test suite quality. In mutation
testing, a large number of mutants are generated and executed against the test suite to …

Prioritizing mutants to guide mutation testing

SJ Kaufman, R Featherman, J Alvin, B Kurtz… - Proceedings of the 44th …, 2022 - dl.acm.org
Mutation testing offers concrete test goals (mutants) and a rigorous test efficacy criterion, but
it is expensive due to vast numbers of mutants, many of which are neither useful nor …

Faster mutation testing inspired by test prioritization and reduction

L Zhang, D Marinov, S Khurshid - Proceedings of the 2013 International …, 2013 - dl.acm.org
Mutation testing is a well-known but costly approach for determining test adequacy. The
central idea behind the approach is to generate mutants, which are small syntactic …

Practical mutation testing at scale: A view from google

G Petrović, M Ivanković, G Fraser… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Mutation analysis assesses a test suite's adequacy by measuring its ability to detect small
artificial faults, systematically seeded into the tested program. Mutation analysis is …

Efficient mutation analysis by propagating and partitioning infected execution states

R Just, MD Ernst, G Fraser - … of the 2014 international symposium on …, 2014 - dl.acm.org
Mutation analysis evaluates a testing technique by measur-ing how well it detects seeded
faults (mutants). Mutation analysis is hampered by inherent scalability problems—a test suite …

Analyzing the validity of selective mutation with dominator mutants

B Kurtz, P Ammann, J Offutt, ME Delamaro… - Proceedings of the …, 2016 - dl.acm.org
Various forms of selective mutation testing have long been accepted as valid
approximations to full mutation testing. This paper presents counterevidence to traditional …

Killing strategies for model‐based mutation testing

BK Aichernig, H Brandl, E Jöbstl… - Software Testing …, 2015 - Wiley Online Library
This article presents the techniques and results of a novel model‐based test case
generation approach that automatically derives test cases from UML state machines. The …

Regression mutation testing

L Zhang, D Marinov, L Zhang, S Khurshid - Proceedings of the 2012 …, 2012 - dl.acm.org
Mutation testing is one of the most powerful approaches for evaluating quality of test suites.
However, mutation testing is also one of the most expensive testing approaches. This paper …

Featured model-based mutation analysis

X Devroey, G Perrouin, M Papadakis, A Legay… - Proceedings of the 38th …, 2016 - dl.acm.org
Model-based mutation analysis is a powerful but expensive testing technique. We tackle its
high computation cost by proposing an optimization technique that drastically speeds up the …

Threats to the validity of mutation-based test assessment

M Papadakis, C Henard, M Harman, Y Jia… - Proceedings of the 25th …, 2016 - dl.acm.org
Much research on software testing and test techniques relies on experimental studies based
on mutation testing. In this paper we reveal that such studies are vulnerable to a potential …