A hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering

A Arcuri, L Briand - Software Testing, Verification and Reliability, 2014 - Wiley Online Library
Randomized algorithms are widely used to address many types of software engineering
problems, especially in the area of software verification and validation with a strong …

A systematic literature review of techniques and metrics to reduce the cost of mutation testing

AV Pizzoleto, FC Ferrari, J Offutt, L Fernandes… - Journal of Systems and …, 2019 - Elsevier
Historically, researchers have proposed and applied many techniques to reduce the cost of
mutation testing. It has become difficult to find all techniques and to understand the cost …

Mutation testing advances: an analysis and survey

M Papadakis, M Kintis, J Zhang, Y Jia, Y Le Traon… - Advances in …, 2019 - Elsevier
Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

An analysis and survey of the development of mutation testing

Y Jia, M Harman - IEEE transactions on software engineering, 2010 - ieeexplore.ieee.org
Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …

Higher order mutation testing

Y Jia, M Harman - Information and Software Technology, 2009 - Elsevier
This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …

Overcoming the equivalent mutant problem: A systematic literature review and a comparative experiment of second order mutation

L Madeyski, W Orzeszyna, R Torkar… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
Context. The equivalent mutant problem (EMP) is one of the crucial problems in mutation
testing widely studied over decades. Objectives. The objectives are: to present a systematic …

Strong higher order mutation-based test data generation

M Harman, Y Jia, WB Langdon - Proceedings of the 19th ACM SIGSOFT …, 2011 - dl.acm.org
This paper introduces SHOM, a mutation-based test data generation approach that
combines Dynamic Symbolic Execution and Search Based Software Testing. SHOM targets …

Detecting trivial mutant equivalences via compiler optimisations

M Kintis, M Papadakis, Y Jia, N Malevris… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Mutation testing realises the idea of fault-based testing, ie, using artificial defects to guide
the testing process. It is used to evaluate the adequacy of test suites and to guide test case …

An empirical evaluation of the first and second order mutation testing strategies

M Papadakis, N Malevris - 2010 Third International Conference …, 2010 - ieeexplore.ieee.org
Various mutation approximation techniques have been proposed in the literature in order to
reduce the expenses of mutation. This paper presents results from an empirical study …

Evaluating mutation testing alternatives: A collateral experiment

M Kintis, M Papadakis… - 2010 Asia Pacific Software …, 2010 - ieeexplore.ieee.org
Mutation testing while being a successful fault revealing technique for unit testing, it is a
rather expensive one for practical use. To bridge these two aspects there is a need to …