Mutation 2000: Uniting the orthogonal

AJ Offutt, RH Untch - Mutation testing for the new century, 2001 - Springer
Mutation testing is a powerful, but computationally expensive, technique for unit testing
software. This expense has prevented mutation from becoming widely used in practical …

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 …

[SÁCH][B] Introduction to software testing

P Ammann, J Offutt - 2016 - books.google.com
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

A mutation carol: Past, present and future

J Offutt - Information and Software Technology, 2011 - Elsevier
Context The field of mutation analysis has been growing, both in the number of published
papers and the number of active researchers. This special issue provides a sampling of …

Leveraging program equivalence for adaptive program repair: Models and first results

W Weimer, ZP Fry, S Forrest - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
Software bugs remain a compelling problem. Automated program repair is a promising
approach for reducing cost, and many methods have recently demonstrated positive results …

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 …

On fault representativeness of software fault injection

R Natella, D Cotroneo, JA Duraes… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
The injection of software faults in software components to assess the impact of these faults
on other components or on the system as a whole, allowing the evaluation of fault tolerance …

A Fault Model for Testing the Access Control Policies using Classified Mutation Operator

S Sharma, SK Jena - 2009 - dspace.nitrkl.ac.in
In today's scenario any multiuser system need to implement access control for protecting its
resources from unauthorized access or damage. With the help of separate policy …

A fault model and mutation testing of access control policies

E Martin, T **e - Proceedings of the 16th international conference on …, 2007 - dl.acm.org
To increase confidence in the correctness of specified policies, policy developers can
conduct policy testing by supplying typical test inputs (requests) and subsequently checking …