A path-aware approach to mutant reduction in mutation testing

Hamlet, 1977, Testing programs with the aid of a compiler, IEEE Trans. Softw. Eng., 3, 279, 10.1109/TSE.1977.231145 DeMillo, 1978, Hints on test data selection: help for the practicing programmer, IEEE Comput., 11, 34, 10.1109/C-M.1978.218136 Fraser, 2010, Mutation-driven generation of unit tests and oracles, 147 Papadakis, 2015, Metallaxis-FL: Mutation-based fault localization, Softw. Test., Verific. Reliab, 25, 605, 10.1002/stvr.1509 Offutt, 2001, Mutation 2000: uniting the orthogonal, 34 Andrews, 2005, Is mutation an appropriate tool for testing experiments?, 402 Just, 2014, Are mutants a valid substitute for real faults in software testing?, 654 Mathur, 1993, An empirical comparison of data flow and mutation-based test adequacy criteria, Softw. Test., Verific. Reliab., 4, 9, 10.1002/stvr.4370040104 Mathur, 1991, Performance, effectiveness, and reliability issues in software testing, 604 Zhang, 2010, Is operator-based mutant selection superior to random mutant selection?, 435 Sun, 2000, Effective wove algorithm for software structure graph, J. Beijing Univ. Aeronaut. Astronaut., 26, 705 Ferrante, 1987, The program dependence graph and its use in optimization, ACM Trans. Program. Lang. Syst., 9, 319, 10.1145/24039.24041 Lin, 2008, Deriving input syntactic structure from execution, 83 Liu, 2012, Comparison of adaptive random testing and random testing under various testing and debugging scenarios, Softw.: Pract. Exp., 42, 1055 Morell, 1990, A theory of fault-based testing, IEEE Trans. Softw. Eng., 16, 844, 10.1109/32.57623 Sun, 2014, MujavaX: a distribution-aware mutation generation system for java, J. Comput. Res. Dev., 51, 874 Hutchins, 1994, Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria, 191 Do, 2005, Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact, Empir. Softw. Eng.: Int. J., 10, 405, 10.1007/s10664-005-3861-2 Delamaro, 1996, Proteum — a tool for the assessment of test adequacy for C programs, 79 Ostrand, 1988, The category-partition method for specifying and generating fuctional tests, Communn. ACM, 31, 676, 10.1145/62959.62964 Zhu, 1997, Software unit test coverage and adequacy, ACM Comput. Surv., 29, 366, 10.1145/267580.267590 Jia, 2011, An analysis and survey of the development of mutation testing, IEEE Trans. Softw. Eng., 37, 649, 10.1109/TSE.2010.62 Acree, 1980 Offutt, 1993, An experimental evaluation of selective mutation, 100 Wong, 1995, Reducing the cost of mutation testing: an empirical study, J. Syst. Softw., 31, 185, 10.1016/0164-1212(94)00098-0 Offutt, 1996, An experimental determination of sufficient mutant operators, ACM Trans. Softw. Eng. Methodol., 5, 99, 10.1145/227607.227610 Namin, 2008, Sufficient mutation operators for measuring test effectiveness, 351 Vincenzi, 2001, Unit and integration testing strategies for C programs using mutation, Softw. Test., Verific. Reliab., 11, 249, 10.1002/stvr.242 Just, 2015, Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators, Softw. Test., Verific. Reliab, 25, 490, 10.1002/stvr.1561 Delamaro, 2014, Experimental evaluation of SDL and one-op mutation for C, 203 Gligoric, 2013, Selective mutation testing for concurrent code, 224 Zhang, 2013, Operator-based and random mutant selection: better together, 92 Jia, 2008, Constructing subtle faults using higher order mutation testing, 249 Polo, 2009, Decreasing the cost of mutation testing with second-order mutants, Softw. Test., Verific. Reliab., 19, 111, 10.1002/stvr.392 Papadakis, 2010, An empirical evaluation of the first and second order mutation testing strategies, 90 Harman, 2014, Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation, 397 Hussain, 2008 Ji, 2009, A novel method of mutation clustering based on domain analysis, 1 Offutt, 1994, Using compiler optimization techniques to detect equivalent mutants, Softw. Test., Verific. Reliab., 4, 131, 10.1002/stvr.4370040303 Hierons, 1999, Using program slicing to assist in the detection of equivalent mutants, Softw. Test., Verific. Reliab., 9, 233, 10.1002/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3 Yao, 2014, A study of equivalent and stubborn mutation operators using human analysis of equivalence, 919 Papadakis, 2014, Mitigating the effects of equivalent mutants with mutant classification strategies, Sci. Comput. Program., 95, Part 3, 298, 10.1016/j.scico.2014.05.012 Kintis, 2015, Employing second-order mutation for isolating first-order equivalent mutants, Softw. Test., Verific. Reliab., 25, 508, 10.1002/stvr.1529 Papadakis, 2015, Trivial compiler equivalence: a large scale empirical study of a simple, fast and effective equivalent mutant detection technique, 936 Untch, 1993, Mutation analysis using mutant schemata, 139 Ma, 2005, MuJava: an automated class mutation system, Softw. Test., Verific. Reliab., 15, 97, 10.1002/stvr.308 Zhang, 2012, Regression mutation testing, 331 Zhang, 2013, Faster mutation testing inspired by test prioritization and reduction, 235 Schuler, 2009, Javalanche: efficient mutation testing for Java, 297 Just, 2011, MAJOR: an efficient and extensible tool for mutation analysis in a Java compiler, 612 Papadakis, 2012, Mutation based test case generation via a path selection strategy, Inf. Softw. Technol., 54, 915, 10.1016/j.infsof.2012.02.004