A systematic literature review of techniques and metrics to reduce the cost of mutation testing
暂无分享,去创建一个
Fabiano Cutigi Ferrari | A. Jefferson Offutt | Alessandro Viola Pizzoleto | Leonardo Fernandes | Márcio Ribeiro | A. Offutt | Márcio Ribeiro | F. Ferrari | A. V. Pizzoleto | Leo Fernandes | Jeff Offutt
[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..