{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:58:40Z","timestamp":1784300320109,"version":"3.55.0"},"reference-count":85,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tr.2017.2705662","type":"journal-article","created":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T18:10:35Z","timestamp":1496859035000},"page":"854-874","source":"Crossref","is-referenced-by-count":38,"title":["Mutation Reduction Strategies Considered Harmful"],"prefix":"10.1109","volume":"66","author":[{"given":"Rahul","family":"Gopinath","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iftekhar","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad Amin","family":"Alipour","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.3.233"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"ref71","article-title":"Pit mutation testing: Mutators","author":"coles","year":"0"},{"key":"ref70","first-page":"449","article-title":"Transforming mutation testing from the technology of the future into the technology of the present","author":"ammann","year":"2015","journal-title":"Proc IEEE Int?l Conf Software Testing Verification and Validation Workshops"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"ref74","article-title":"What is the reverse of greedy algorithm for setcover?","year":"2016","journal-title":"Theoretical Computer Science Stack Exchange"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.027"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/285055.285059"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/125489.125473"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1111\/j.1751-5823.2002.tb00178.x"},{"key":"ref79","article-title":"An empirical comparison of mutant selection approaches","author":"gopinath","year":"2015"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567468"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref31","author":"mathur","year":"2012","journal-title":"Foundations of Software Testing"},{"key":"ref30","first-page":"112","article-title":"On strong mutation and subsuming mutants. IEEE workshop on mutation analysis (mutation 2016)","author":"lindstrm","year":"2016","journal-title":"Proc Workshop on Mutation Analysis"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/75309.75324","article-title":"The coupling effect: Fact or fiction?","volume":"14","author":"offutt","year":"1989","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.12"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0167-6423(03)00022-4","article-title":"An analysis of the coupling effect I: Single test data","volume":"48","author":"wah","year":"2003","journal-title":"Sci Comput Program"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.20"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.36"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"ref63","article-title":"Mutation clustering","author":"hussain","year":"2008"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884787"},{"key":"ref64","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/ICSM.1999.792604","article-title":"Test case prioritization: An empirical study","author":"rothermel","year":"1999","journal-title":"Proc IEEE Int Conf Softw Maintenance"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.24"},{"key":"ref66","article-title":"Software repository","year":"0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.27"},{"key":"ref67","article-title":"Apache Maven project","year":"0"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635920"},{"key":"ref69","article-title":"Pit mutation testing","author":"coles","year":"2016"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref1","article-title":"Fault diagnosis of computer programs","author":"lipton","year":"1971"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-642-34691-0_15","article-title":"Machine learning approach in mutation testing","author":"strug","year":"2012","journal-title":"Testing Software and Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.37"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.162"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786858"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.32"},{"key":"ref50","first-page":"320","article-title":"Evaluation of the cost of alternate mutation strategies","author":"mathur","year":"1993","journal-title":"Proc Brazilian Symp Software Eng"},{"key":"ref51","first-page":"439","article-title":"Constrained mutation in C programs","author":"wong","year":"1994","journal-title":"Proc Brazilian Symp Software Eng"},{"key":"ref59","first-page":"112","article-title":"On redundant mutants and strong mutation","author":"lindstr\u00f6m","year":"2015","journal-title":"International Conference on Software Testing Verification and Validation Workshops"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.22"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2016.45"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.20"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1566445.1566540"},{"key":"ref54","first-page":"351","article-title":"Sufficient mutation operators for measuring test effectiveness","author":"namin","year":"2008","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.7"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.226"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595750"},{"key":"ref11","article-title":"On mutation","author":"acree","year":"1980"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.40"},{"key":"ref12","article-title":"Mutation analysis of program test data","author":"budd","year":"1980"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693070"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15147-2_33"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.12"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-319-00945-2_11","article-title":"A quality estimation of mutation clustering in c# programs","author":"derezi?ska","year":"2013","journal-title":"New Results in Dependability and Computer Systems"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.01.007"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145737"},{"key":"ref18","first-page":"422","article-title":"A novel method of mutation clustering based on domain analysis","author":"ji","year":"2009","journal-title":"Proc Int Conf on Software Eng Knowledge Eng"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.37"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107454"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/1141911.1141916"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/2591796.2591884"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.91"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<205::AID-STVR186>3.0.CO;2-X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170248"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"ref47","article-title":"On mutation and data flow","author":"wong","year":"1993"},{"key":"ref42","article-title":"Subsumption of condition coverage techniques by mutation testing","author":"offutt","year":"1996"},{"key":"ref41","author":"myers","year":"1979","journal-title":"The Art of Software Testing"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226313"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040104"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/24\/8022996\/7942146-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8022996\/07942146.pdf?arnumber=7942146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:56:02Z","timestamp":1649444162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7942146\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":85,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2017.2705662","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9]]}}}