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

Abstract 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-benefit tradeoffs among them, which is critical to transitioning this technology to practice. This paper extends a prior workshop paper to summarize and analyze the current knowledge about reducing the cost of mutation testing through a systematic literature review. We selected 175 peer-reviewed studies, from which 153 present either original or updated contributions. Our analysis resulted in six main goals for cost reduction and 21 techniques. In the last decade, a growing number of studies explored techniques such as selective mutation, evolutionary algorithms, control-flow analysis, and higher-order mutation. Furthermore, we characterized 18 metrics, with particular interest in the number of mutants to be executed, test cases required, equivalent mutants generated and detected, and mutant execution speedup. We found that cost reduction for mutation is increasingly becoming interdisciplinary, often combining multiple techniques. Additionally, measurements vary even for studies that use the same techniques. Researchers can use our results to find more detailed information about particular techniques, and to design comparable and reproducible experiments.

[1]  Bernhard K. Aichernig,et al.  Incremental Refinement Checking for Test Case Generation , 2013, TAP@STAF.

[2]  Alex Groce,et al.  Topsy-Turvy: A Smarter and Faster Parallelization of Mutation Analysis , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).

[3]  A. Jefferson Offutt,et al.  An Analysis of OO Mutation Operators , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[4]  A. Jefferson Offutt,et al.  TUMS: testing using mutant schemata , 1997, ACM-SE 35.

[5]  A. Jefferson Offutt,et al.  Improving logic-based testing , 2013, J. Syst. Softw..

[6]  Bartosz Bogacki,et al.  Evaluation of Test Code Quality with Aspect-Oriented Mutations , 2006, XP.

[7]  Nikolai Tillmann,et al.  Test generation via Dynamic Symbolic Execution for mutation testing , 2010, 2010 IEEE International Conference on Software Maintenance.

[8]  A. Jefferson Offutt,et al.  Mutation 2000: uniting the orthogonal , 2001 .

[9]  A. Jefferson Offutt,et al.  Finding Redundancy in Web Mutation Operators , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[10]  Aditya P. Mathur,et al.  High performance testing on SIMD machines , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[11]  Nikolai Kosmatov,et al.  Time to Clean Your Test Objectives , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[12]  Nguyen Thanh Binh,et al.  Improving mutant generation for Simulink models using genetic algorithm , 2016, 2016 International Conference on Electronics, Information, and Communications (ICEIC).

[13]  Paul Ammann,et al.  Reducing logic test set size while preserving fault detection , 2011, Softw. Test. Verification Reliab..

[14]  Andreas Zeller,et al.  Efficient mutation testing by checking invariant violations , 2009, ISSTA.

[15]  Mike Papadakis,et al.  Automatic Mutation Test Case Generation via Dynamic Symbolic Execution , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[16]  Fevzi Belli,et al.  Exploiting Model Morphology for Event-Based Testing , 2015, IEEE Transactions on Software Engineering.

[17]  Richard G. Hamlet,et al.  Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.

[18]  Mike Papadakis,et al.  Employing second‐order mutation for isolating first‐order equivalent mutants , 2015, Softw. Test. Verification Reliab..

[19]  Lionel C. Briand,et al.  Is mutation an appropriate tool for testing experiments? , 2005, ICSE.

[20]  A. Jefferson Offutt,et al.  Analyzing the validity of selective mutation with dominator mutants , 2016, SIGSOFT FSE.

[21]  Javier Tuya,et al.  Mutating database queries , 2007, Inf. Softw. Technol..

[22]  Tao Xie,et al.  Is operator-based mutant selection superior to random mutant selection? , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[23]  Huai Liu,et al.  An Empirical Study on Mutation Testing of WS-BPEL Programs , 2017, Comput. J..

[24]  Gregg Rothermel,et al.  On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques , 2006, IEEE Transactions on Software Engineering.

[25]  A. Jefferson Offutt,et al.  Automatically detecting equivalent mutants and infeasible paths , 1997 .

[26]  Inmaculada Medina-Bulo,et al.  A Framework for Mutant Genetic Generation for WS-BPEL , 2009, SOFSEM.

[27]  Tore Dybå,et al.  Evidence-based software engineering , 2004, Proceedings. 26th International Conference on Software Engineering.

[28]  Zhu Speeding-Up Mutation Testing via Data Compression and State Infection , 2017 .

[29]  Phil McMinn,et al.  Virtual Mutation Analysis of Relational Database Schemas , 2016, 2016 IEEE/ACM 11th International Workshop in Automation of Software Test (AST).

[30]  Pierre-Yves Schobbens,et al.  Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[31]  Friedrich Steimann,et al.  From behaviour preservation to behaviour modification: constraint-based mutant generation , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[32]  Yves Le Traon,et al.  Mutation-Based Generation of Software Product Line Test Configurations , 2014, SSBSE.

[33]  Leonardo Bottaci,et al.  Efficiency of mutation operators and selective mutation strategies: an empirical study , 1999, Softw. Test. Verification Reliab..

[34]  Akbar Siami Namin,et al.  Prioritizing Mutation Operators Based on Importance Sampling , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[35]  René Just,et al.  An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions , 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[36]  Macario Polo,et al.  Reducing mutation costs through uncovered mutants , 2015, Softw. Test. Verification Reliab..

[37]  Phil McMinn,et al.  The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis , 2014, 2014 14th International Conference on Quality Software.

[38]  Mark Harman,et al.  Detecting Trivial Mutant Equivalences via Compiler Optimisations , 2018, IEEE Transactions on Software Engineering.

[39]  Andreas Zeller,et al.  Covering and Uncovering Equivalent Mutants , 2013, Softw. Test. Verification Reliab..

[40]  René Just,et al.  Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis? , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[41]  Simone do Rocio Senger de Souza,et al.  A systematic review on search based mutation testing , 2017, Inf. Softw. Technol..

[42]  A. Jefferson Offutt,et al.  Experimental results from an automatic test case generator , 1993, TSEM.

[43]  Aditya P. Mathur,et al.  Foundations of Software Testing , 2007 .

[44]  Fabiano Cutigi Ferrari,et al.  A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results , 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[45]  Phil McMinn,et al.  Automatic Detection and Removal of Ineffective Mutants for the Mutation Analysis of Relational Database Schemas , 2019, IEEE Transactions on Software Engineering.

[46]  Dana Angluin,et al.  Two notions of correctness and their relation to testing , 1982, Acta Informatica.

[47]  A. C. Marshall,et al.  Static dataflow-aided weak mutation analysis (SDAWM) , 1990 .

[48]  Sang-Woon Kim,et al.  Combining weak and strong mutation for a noninterpretive Java mutation system , 2013, Softw. Test. Verification Reliab..

[49]  Ilona Bluemke,et al.  Reduction in Mutation Testing of Java classes , 2014, 2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA).

[50]  A. Jefferson Offutt,et al.  Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[51]  Michael D. Ernst,et al.  Efficient mutation analysis by propagating and partitioning infected execution states , 2014, ISSTA 2014.

[52]  René Just,et al.  Using conditional mutation to increase the efficiency of mutation analysis , 2011, AST '11.

[53]  René Just,et al.  Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

[54]  Huai Liu,et al.  A path-aware approach to mutant reduction in mutation testing , 2017, Inf. Softw. Technol..

[55]  Akbar Siami Namin,et al.  Sufficient mutation operators for measuring test effectiveness , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[56]  Alexander Pretschner,et al.  Nequivack: Assessing Mutation Score Confidence , 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[57]  Fabiano Cutigi Ferrari,et al.  Towards the Establishment of a Sufficient Set of Mutation Operators for AspectJ Programs , 2014 .

[58]  Auri Marcelo Rizzo Vincenzi,et al.  A coevolutionary algorithm to automatic test case selection and mutant in Mutation Testing , 2013, 2013 IEEE Congress on Evolutionary Computation.

[59]  Richard A. DeMillo,et al.  Compiler-integrated program mutation , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[60]  Mark Harman,et al.  How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution , 2004, GECCO.

[61]  Vernon Rego,et al.  High Performance Software Testing on SIMD Machines , 1991, IEEE Trans. Software Eng..

[62]  A. Jefferson Offutt,et al.  Detecting equivalent mutants and the feasible path problem , 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.

[63]  Byoungju Choi,et al.  High-performance mutation testing , 1993, J. Syst. Softw..

[64]  A. Jefferson Offutt,et al.  Experimental Evaluation of SDL and One-Op Mutation for C , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[65]  Goran Petrovic,et al.  State of Mutation Testing at Google , 2017, 2018 IEEE/ACM 40th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP).

[66]  Fabiano Cutigi Ferrari,et al.  Towards the practical mutation testing of AspectJ programs , 2013, Sci. Comput. Program..

[67]  A. Jefferson Offutt,et al.  A logic mutation approach to selective mutation for programs and queries , 2011, Inf. Softw. Technol..

[68]  Bo Wang,et al.  Faster mutation analysis via equivalence modulo states , 2017, ISSTA.

[69]  A. Jefferson Offutt,et al.  Using compiler optimization techniques to detect equivalent mutants , 1994, Softw. Test. Verification Reliab..

[70]  Auri Marcelo Rizzo Vincenzi,et al.  Unit and integration testing strategies for C programs using mutation , 2001, Softw. Test. Verification Reliab..

[71]  A. Jefferson Offutt,et al.  The dynamic domain reduction procedure for test data generation , 1999, Softw. Pract. Exp..

[72]  William E. Howden,et al.  Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.

[73]  Bernhard K. Aichernig,et al.  Model-Based Mutation Testing of an Industrial Measurement Device , 2014, TAP@STAF.

[74]  Richard Torkar,et al.  Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation , 2014, IEEE Transactions on Software Engineering.

[75]  Reid Holmes,et al.  Using fault history to improve mutation reduction , 2013, ESEC/FSE 2013.

[76]  Aamer Nadeem,et al.  Improved Genetic Algorithm to Reduce Mutation Testing Cost , 2017, IEEE Access.

[77]  Inmaculada Medina-Bulo,et al.  GiGAn: evolutionary mutation testing for C++ object-oriented systems , 2017, SAC.

[78]  Pierre-Yves Schobbens,et al.  Featured Model-Based Mutation Analysis , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

[79]  Christian Colombo,et al.  Towards Incremental Mutation Testing , 2013, Electron. Notes Theor. Comput. Sci..

[80]  Mike Papadakis,et al.  Towards automating the generation of mutation tests , 2010, AST '10.

[81]  Mark Harman,et al.  The relationship between program dependence and mutation analysis , 2001 .

[82]  Gordon Fraser,et al.  Achieving scalable mutation-based generation of whole test suites , 2015, Empirical Software Engineering.

[83]  Auri Marcelo Rizzo Vincenzi,et al.  Toward the determination of sufficient mutant operators for C † , 2001, Softw. Test. Verification Reliab..

[84]  Phil McMinn,et al.  Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

[85]  J.H. Andrews,et al.  Finding Sufficient Mutation Operators via Variable Reduction , 2006, Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006).

[86]  Fadi Wedyan,et al.  On generating mutants for AspectJ programs , 2012, Inf. Softw. Technol..

[87]  Mike Papadakis,et al.  Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing , 2011, Software Quality Journal.

[88]  Nicos Malevris,et al.  Using Data Flow Patterns for Equivalent Mutant Detection , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

[89]  Mark Harman,et al.  Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation , 2014, ASE.

[90]  Fadi Wedyan,et al.  An Approach for the Generation of Higher Order Mutants Using Genetic Algorithms , 2018 .

[91]  A. Jefferson Offutt,et al.  An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage , 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.

[92]  Phyllis G. Frankl,et al.  All-uses vs mutation testing: An experimental comparison of effectiveness , 1997, J. Syst. Softw..

[93]  Inmaculada Medina-Bulo,et al.  Assessment of class mutation operators for C++ with the MuCPP mutation system , 2017, Inf. Softw. Technol..

[94]  Udo Kelter,et al.  Fault-based product-line testing: effective sample generation based on feature-diagram mutation , 2015, SPLC.

[95]  Sarfraz Khurshid,et al.  Operator-based and random mutant selection: Better together , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[96]  M. R. Woodward,et al.  From weak to strong, dead or alive? an analysis of some mutation testing issues , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

[97]  Yves Le Traon,et al.  Mutation testing strategies using mutant classification , 2013, SAC '13.

[98]  Roseli A. Francelin Romero,et al.  Bayesian-Learning Based Guidelines to Determine Equivalent Mutants , 2001, Int. J. Softw. Eng. Knowl. Eng..

[99]  Anna Derezinska Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs , 2016, DepCoS-RELCOMEX.

[100]  A. Jefferson Offutt,et al.  Designing Deletion Mutation Operators , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[101]  Gregg Rothermel,et al.  An experimental evaluation of selective mutation , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[102]  Mario Piattini,et al.  Decreasing the cost of mutation testing with second-order mutants , 2009 .

[103]  James M. Bieman,et al.  Mutation of Java objects , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[104]  Michael D. Ernst,et al.  Are mutants a valid substitute for real faults in software testing? , 2014, SIGSOFT FSE.

[105]  Anna Derezinska,et al.  Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs , 2012, TOOLS.

[106]  Sandra Camargo Pinto Ferraz Fabbri,et al.  Using GQM and TAM to evaluate StArt - a tool that supports Systematic Review , 2012, CLEI Electron. J..

[107]  Jinhui Shan,et al.  An Approach to Test Data Generation for Killing Multiple Mutants , 2006, 2006 22nd IEEE International Conference on Software Maintenance.

[108]  Giovani Guizzo,et al.  Evaluating Different Strategies for Reduction of Mutation Testing Costs , 2016, SAST.

[109]  Paula Gomes Mian,et al.  Systematic Review in Software Engineering , 2005 .

[110]  Barbara Kitchenham,et al.  Procedures for Performing Systematic Reviews , 2004 .

[111]  A.P. Mathur Performance, effectiveness, and reliability issues in software testing , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[112]  Mike Papadakis,et al.  An Empirical Evaluation of the First and Second Order Mutation Testing Strategies , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[113]  Giuliano Antoniol,et al.  Automatic mutation test input data generation via ant colony , 2007, GECCO '07.

[114]  Macario Polo,et al.  Parallel mutation testing , 2013, Softw. Test. Verification Reliab..

[115]  Roland H. Untch,et al.  Mutation-based software testing using program schemata , 1992, ACM Southeast Regional Conference.

[116]  A. Jefferson Offutt,et al.  MuJava: an automated class mutation system , 2005, Softw. Test. Verification Reliab..

[117]  Macario Polo,et al.  Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code) , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[118]  Darko Marinov,et al.  Efficient mutation testing of multithreaded code , 2013, Softw. Test. Verification Reliab..

[119]  I. Comparison Faster Mutation Testing Inspired by Test Prioritization and Reduction , 2013 .

[120]  Vladimir N. Fleyshgakker,et al.  Efficient mutation analysis: a new approach , 1994, ISSTA '94.

[121]  Inmaculada Medina-Bulo,et al.  Assessment of C++ object‐oriented mutation operators: A selective mutation approach , 2017, Softw. Test. Verification Reliab..

[122]  W. Eric Wong,et al.  Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness , 1994, Software Quality and Productivity.

[123]  Mike Papadakis,et al.  An Effective Path Selection Strategy for Mutation Testing , 2009, 2009 16th Asia-Pacific Software Engineering Conference.

[124]  Sang-Woon Kim,et al.  Mutation testing cost reduction by clustering overlapped mutants , 2016, J. Syst. Softw..

[125]  Roy P. Pargas,et al.  Mutation Testing of Software Using MIMD Computer , 1992, ICPP.

[126]  Aurora Trinidad Ramirez Pozo,et al.  Reducing Interface Mutation Costs with Multiobjective Optimization Algorithms , 2012, Int. J. Nat. Comput. Res..

[127]  Vladimir N. Fleyshgakker,et al.  Improved serial algorithms for mutation analysis , 1993, ISSTA '93.

[128]  Sarfraz Khurshid,et al.  Regression mutation testing , 2012, ISSTA 2012.

[129]  Alex Groce,et al.  On The Limits of Mutation Reduction Strategies , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

[130]  John A. Clark,et al.  MESSI: Mutant Evaluation by Static Semantic Interpretation , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[131]  René Just,et al.  The major mutation framework: efficient and scalable mutation analysis for Java , 2014, ISSTA 2014.

[132]  Nicos Malevris,et al.  MEDIC: A static analysis framework for equivalent mutant identification , 2015, Inf. Softw. Technol..

[133]  A. Jefferson Offutt,et al.  Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[134]  René Just,et al.  Higher accuracy and lower run time: efficient mutation analysis using non‐redundant mutation operators , 2015, Softw. Test. Verification Reliab..

[135]  A. Jefferson Offutt,et al.  How strong is weak mutation? , 1991, TAV4.

[136]  Anna Derezinska,et al.  A Quality Estimation of Mutation Clustering in C# Programs , 2013, DepCoS-RELCOMEX.

[137]  Yves Le Traon,et al.  Mitigating the effects of equivalent mutants with mutant classification strategies , 2014, Sci. Comput. Program..

[138]  Mike Papadakis,et al.  Mutation based test case generation via a path selection strategy , 2012, Inf. Softw. Technol..

[139]  Claes Wohlin,et al.  Guidelines for snowballing in systematic literature studies and a replication in software engineering , 2014, EASE '14.

[140]  Mike Papadakis,et al.  Evaluating Mutation Testing Alternatives: A Collateral Experiment , 2010, 2010 Asia Pacific Software Engineering Conference.

[141]  A. Zeller,et al.  Mutation-driven Generation of Oracles and Unit Tests , 2010 .

[142]  Mike Papadakis,et al.  Isolating First Order Equivalent Mutants via Second Order Mutation , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[143]  Silvia Regina Vergilio,et al.  A Mutation and Multi-objective Test Data Generation Approach for Feature Testing of Software Product Lines , 2015, 2015 29th Brazilian Symposium on Software Engineering.

[144]  Serge Demeyer,et al.  Evaluating random mutant selection at class-level in projects with non-adequate test suites , 2016, EASE.

[145]  A. Jefferson Offutt,et al.  Growing a Reduced Set of Mutation Operators , 2014, 2014 Brazilian Symposium on Software Engineering.

[146]  David Jackson,et al.  Parallel firm mutation of Java programs , 2001 .

[147]  Andreas Zeller,et al.  If You Can't Kill a Supermutant, You Have a Problem , 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[148]  Bartosz Walter,et al.  Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing , 2006, SET.

[149]  Emilia Mendes,et al.  How Reliable Are Systematic Reviews in Empirical Software Engineering? , 2010, IEEE Transactions on Software Engineering.

[150]  René Just,et al.  Inferring mutant utility from program context , 2017, ISSTA.

[151]  A. Jefferson Offutt,et al.  Better predicate testing , 2011, AST '11.

[152]  Ilona Bluemke,et al.  Reduction of Computational Cost in Mutation Testing by Sampling Mutants , 2013, DepCoS-RELCOMEX.

[153]  Y. L. Traon,et al.  From genetic to bacteriological algorithms for mutation‐based testing , 2005, Softw. Test. Verification Reliab..

[154]  Tao Xie,et al.  Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[155]  Nicos Malevris,et al.  Identifying More Equivalent Mutants via Code Similarity , 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

[156]  Ilona Bluemke,et al.  Reductions of Operators in Java Mutation Testing , 2014, DepCoS-RELCOMEX.

[157]  Paul Ammann,et al.  Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing , 2009, 2009 International Conference on Software Testing Verification and Validation.

[158]  Andreas Zeller,et al.  Mutation-Driven Generation of Unit Tests and Oracles , 2012, IEEE Trans. Software Eng..

[159]  Anna Derezinska,et al.  Improving Mutation Testing Process of Python Programs , 2015, CSOC.

[160]  Andreas Zeller,et al.  (Un-)Covering Equivalent Mutants , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[161]  Darko Marinov,et al.  MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[162]  A. Jefferson Offutt,et al.  An Empirical Evaluation of Weak Mutation , 1994, IEEE Trans. Software Eng..

[163]  W. Eric Wong,et al.  Reducing the cost of mutation testing: An empirical study , 1995, J. Syst. Softw..

[164]  Michael West,et al.  Mutation testing in practice using Ruby , 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[165]  Sudipto Ghosh,et al.  An Exploratory Study of Higher Order Mutation Testing in Aspect-Oriented Programming , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

[166]  A. Jefferson Offutt,et al.  The class-level mutants of MuJava , 2006, AST '06.

[167]  Shingo Takada,et al.  Reducing Mutants with Mutant Killable Precondition , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[168]  Bernhard K. Aichernig,et al.  Efficient Refinement Checking for Model-Based Mutation Testing , 2012, 2012 12th International Conference on Quality Software.

[169]  Mike Papadakis,et al.  Automatic mutation based test data generation , 2011, GECCO '11.

[170]  Mercedes G. Merayo,et al.  Using Evolutionary Computation to Improve Mutation Testing , 2017, IWANN.

[171]  A. Jefferson Offutt,et al.  Mutation analysis using mutant schemata , 1993, ISSTA '93.

[172]  Roland H. Untch On reduced neighborhood mutation analysis using a single mutagenic operator , 2009, ACM-SE 47.

[173]  Anna Derezinska,et al.  Evaluation of mutant sampling criteria in object-oriented mutation testing , 2017, 2017 Federated Conference on Computer Science and Information Systems (FedCSIS).

[174]  Gregg Rothermel,et al.  An experimental determination of sufficient mutant operators , 1996, TSEM.

[175]  Mark Harman,et al.  Predictive Mutation Testing , 2019, IEEE Transactions on Software Engineering.

[176]  Macario Polo,et al.  Mutation Testing Cost Reduction Techniques: A Survey , 2010, IEEE Software.

[177]  Mark Harman,et al.  An Analysis and Survey of the Development of Mutation Testing , 2011, IEEE Transactions on Software Engineering.

[178]  André L. M. Santos,et al.  Avoiding useless mutants , 2017, GPCE.

[179]  Lingming Zhang,et al.  Speeding up Mutation Testing via Regression Test Selection: An Extensive Study , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

[180]  Andy Zaidman,et al.  An Investigation of Compression Techniques to Speed up Mutation Testing , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

[181]  A. Jefferson Offutt,et al.  Empirical Evaluation of the Statement Deletion Mutation Operator , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[182]  Yves Le Traon,et al.  Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique , 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

[183]  Jacob Krüger,et al.  Efficient mutation testing in configurable systems , 2017 .

[184]  Mark Harman,et al.  Using program slicing to assist in the detection of equivalent mutants , 1999, Softw. Test. Verification Reliab..

[185]  Inmaculada Medina-Bulo,et al.  GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions , 2009, 2009 Seventh IEEE European Conference on Web Services.

[186]  A. Jefferson Offutt,et al.  Establishing Theoretical Minimal Sets of Mutants , 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

[187]  Yves Le Traon,et al.  Chapter Six - Mutation Testing Advances: An Analysis and Survey , 2019, Adv. Comput..

[188]  James M. Bieman,et al.  A technique for mutation of Java objects , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[189]  Alex Denisov,et al.  Mull It Over: Mutation Testing Based on LLVM , 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

[190]  Macario Polo,et al.  Validating Second-Order Mutation at System Level , 2013, IEEE Transactions on Software Engineering.

[191]  Gilles Pokam,et al.  Selective mutation testing for concurrent code , 2013, ISSTA.

[192]  Robert M. Hierons,et al.  Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness , 2016, ICTSS.

[193]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[194]  Alex Groce,et al.  Mutation Reduction Strategies Considered Harmful , 2017, IEEE Transactions on Reliability.

[195]  Inmaculada Medina-Bulo,et al.  Evolutionary mutation testing , 2011, Inf. Softw. Technol..

[196]  Baowen Xu,et al.  A Novel Method of Mutation Clustering Based on Domain Analysis , 2009, SEKE.

[197]  W. Eric Wong,et al.  An empirical comparison of data flow and mutation‐based test adequacy criteria , 1994, Softw. Test. Verification Reliab..