, On Mutation, 1980.
, Establishing Theoretical Minimal Sets of Mutants, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.21-30, 2014.
DOI : 10.1109/ICST.2014.13
URL : http://www.producao.usp.br/bitstream/handle/BDPI/48408/2509033.pdf%3Bjsessionid%3D27BC698AE41FA805B63BC0C111ED9BC1?sequence%3D1
, Is mutation an appropriate tool for testing experiments?, Proc. ICSE 2005 (27th international conference on software engineering). pp. 402?411. ICSE '05, 2005.
DOI : 10.1145/1062455.1062530
URL : http://www.people.vcu.edu/%7Ebmurrill/courses/csc625/andrews05.pdf
, Test-driven Development: By Example. Kent Beck signature book, 2003.
, Mutation Analysis of Program Test Data, p.8025191, 1980.
, PIT: a practical mutation testing tool for Java (demo), Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp.449-452, 2016.
DOI : 10.1145/2001420.2001461
URL : http://researchrepository.ucd.ie/bitstream/10197/7748/4/ISSTA_2016_Demo_Camera_ready.pdf
, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136
, An introduction to ROC analysis, rOC Analysis in Pattern Recognition, pp.861-874, 2006.
DOI : 10.1016/j.patrec.2005.10.010
, Continuous integration, 2006.
, All-uses vs mutation testing: An experimental comparison of effectiveness, Journal of Systems and Software, vol.38, issue.3, pp.235-253, 1997.
DOI : 10.1016/S0164-1212(96)00154-9
, Selective mutation testing for concurrent code, Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pp.224-234, 2013.
DOI : 10.1145/2483760.2483773
URL : http://mir.cs.illinois.edu/gliga/papers/GligoricETAL13Comutation.pdf
, An empirical comparison of mutant selection approaches, 2015.
, Constructing Subtle Faults Using Higher Order Mutation Testing, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.249-258, 2008.
DOI : 10.1109/SCAM.2008.36
URL : http://www.dcs.kcl.ac.uk/staff/mark/scam08a.pdf
, Higher Order Mutation Testing, source Code Analysis and Manipulation, pp.1379-1393, 2008.
DOI : 10.1016/j.infsof.2009.04.016
URL : http://www.dcs.kcl.ac.uk/staff/mark/ist-hom.pdf
, An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011.
DOI : 10.1109/TSE.2010.62
, Are mutants a valid substitute for real faults in software testing?, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.654-665, 2014.
DOI : 10.1109/ICSE.2007.37
, Class mutation: Mutation testing for objectoriented programs, Proc. Net Object Days, pp.9-12, 2000.
, A fortran language system for mutation-based software testing, Software: Practice and Experience, vol.8, issue.7, pp.685-718, 1991.
DOI : 10.1109/C-M.1978.218136
URL : http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/./vol21/issue7/spe038kk.pdf
, Isolating first order equivalent mutants via second order mutation Verification and Validation), Proc. ICST 2012 (Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, pp.701-710, 2012.
DOI : 10.1109/icst.2012.160
URL : https://www.researchgate.net/profile/Mike_Papadakis/publication/261248337_Isolating_First_Order_Equivalent_Mutants_via_Second_Order_Mutation/links/00463534f9bd33021f000000.pdf
, Fault classes and error detection capability of specification-based testing, ACM Transactions on Software Engineering and Methodology, vol.8, issue.4, pp.411-424, 1999.
DOI : 10.1145/322993.322996
, Mutant Subsumption Graphs, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, pp.176-185, 2014.
DOI : 10.1109/ICSTW.2014.20
URL : http://www.producao.usp.br/bitstream/BDPI/48428/1/2507346.pdf
, Static analysis of mutant subsumption, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015.
DOI : 10.1109/ICSTW.2015.7107454
, On the utility of dominator mutants for mutation testing, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, 2016.
DOI : 10.1145/1806799.1806863
, Inter-class mutation operators for java, Proc. ISSRE 2002 (13th International Symposium on Software Reliability Engineering, pp.352-363, 2002.
, MuJava: an automated class mutation system, Software Testing, Verification and Reliability, vol.8, issue.2, pp.97-133, 2005.
DOI : 10.1109/ISSRE.1999.809312
, MuJava, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134425
, Test early, test often., The Journal of Object Technology, vol.6, issue.4, pp.7-14, 2007.
DOI : 10.5381/jot.2007.6.4.c1
, An experimental determination of sufficient mutant operators, ACM Transactions on Software Engineering and Methodology, vol.5, issue.2, pp.99-118, 1996.
DOI : 10.1145/227607.227610
, Automatically detecting equivalent mutants and infeasible paths, Software Testing, Verification and Reliability, vol.7, issue.3, pp.165-192, 1997.
DOI : 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U
URL : http://www.ise.gmu.edu/~ofut/rsrch/papers/cbt-equiv.pdf
, Mutation 2000: Uniting the Orthogonal, Mutation Testing for the New Century The Springer International Series on Advances in Database Systems, pp.34-44, 2001.
DOI : 10.1007/978-1-4757-5939-6_7
URL : http://www.ise.gmu.edu/~ofut/rsrch/papers/mut00.ps
, HOMAJ: A Tool for Higher Order Mutation Testing in AspectJ and Java, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, pp.165-170, 2014.
DOI : 10.1109/ICSTW.2014.19
, Mining frequent bug-fix code changes, 2014 Software Evolution Week, IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), pp.343-347, 2014.
DOI : 10.1109/CSMR-WCRE.2014.6747191
URL : http://scg.unibe.ch/archive/papers/Osma14aMiningBugFixChanges.pdf
, Threats to the validity of mutation-based test assessment, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, pp.354-365, 2016.
DOI : 10.1145/267580.267590
, An Empirical Evaluation of the First and Second Order Mutation Testing Strategies, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010.
DOI : 10.1109/ICSTW.2010.50
, Mutation Analysis: An Industrial Experiment, 2015.
, Evaluating random mutant selection at classlevel in projects with non-adequate test suites, Proc. EASE 2016 (20th International Conference on Evaluation and Assessment in Software Engineering), pp.1-11, 2016.
, A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage, 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), pp.365-373, 2016.
DOI : 10.1109/QRS.2016.48
URL : http://arxiv.org/pdf/1610.01245
, Considering Polymorphism in Change-Based Test Suite Reduction, Lecture Notes in Business Information Processing, pp.166-181, 2014.
DOI : 10.1007/978-3-319-14358-3_14
URL : http://arxiv.org/pdf/1412.3726
, An empirical comparison of seven programming languages, Computer, vol.33, issue.10, pp.23-29, 2000.
DOI : 10.1109/2.876288
, Javalanche, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595750
, (Un-)Covering Equivalent Mutants, 2010 Third International Conference on Software Testing, Verification and Validation, pp.45-54, 2010.
DOI : 10.1109/ICST.2010.30
URL : http://www.st.cs.uni-saarland.de/publications/files/schuler-icst-2010.pdf
, A Measure of Test Case Completeness, 1985.
, Operator-based and random mutant selection: Better together, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.92-102, 2013.
DOI : 10.1109/ASE.2013.6693070