{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T04:47:30Z","timestamp":1784695650479,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,23]]},"DOI":"10.1145\/3136040.3136053","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"187-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Avoiding useless mutants"],"prefix":"10.1145","author":[{"given":"Leonardo","family":"Fernandes","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M\u00e1rcio","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Alagoas, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luiz","family":"Carvalho","sequence":"additional","affiliation":[{"name":"Federal University of Alagoas, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohit","family":"Gheyi","sequence":"additional","affiliation":[{"name":"Federal University of Campina Grande, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Melina","family":"Mongiovi","sequence":"additional","affiliation":[{"name":"Federal University of Campina Grande, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9","family":"Santos","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"University of York, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabiano","family":"Ferrari","sequence":"additional","affiliation":[{"name":"Federal University of S\u00e3o Carlos, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"PITest Mutation Testing Tool for Java. (2017)","unstructured":"2017. PITest Mutation Testing Tool for Java. (2017) . http:\/\/pitest.org\/ Accessed: 2017-05-20. 2017. PITest Mutation Testing Tool for Java. (2017). http:\/\/pitest.org\/ Accessed: 2017-05-20."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Konstantinos Adamopoulos Mark Harman and Robert M Hierons. 2004. How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In Genetic and evolutionary computation conference. 1338-1349.  Konstantinos Adamopoulos Mark Harman and Robert M Hierons. 2004. How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In Genetic and evolutionary computation conference . 1338-1349.","DOI":"10.1007\/978-3-540-24855-2_155"},{"key":"e_1_3_2_1_3_1","volume-title":"Allen Troy Acree","year":"1980","unstructured":"Jr. Allen Troy Acree . 1980 . On Mutation. Ph.D. Dissertation. Georgia Institute of Technology . Jr. Allen Troy Acree. 1980. On Mutation. Ph.D. Dissertation. Georgia Institute of Technology."},{"key":"e_1_3_2_1_4_1","volume-title":"IEEE 23rd International Conference on. 29-32","author":"Artho Cyrille","year":"2016","unstructured":"Cyrille Artho and Lei Ma . 2016 . Classification of randomly generated test cases. In Software Analysis, Evolution, and Reengineering (SANER) , IEEE 23rd International Conference on. 29-32 . Cyrille Artho and Lei Ma. 2016. Classification of randomly generated test cases. In Software Analysis, Evolution, and Reengineering (SANER), IEEE 23rd International Conference on. 29-32."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625279"},{"key":"e_1_3_2_1_7_1","first-page":"34","article-title":"Hints on Test Data Selection","volume":"11","author":"DeMillo Richard","year":"1978","unstructured":"Richard DeMillo , Richard Lipton , and Frederick Sayward . 1978 . Hints on Test Data Selection : Help for the Practicing Programmer. Computer 11 , 4 (1978), 34 - 41 . Richard DeMillo, Richard Lipton, and Frederick Sayward. 1978. Hints on Test Data Selection: Help for the Practicing Programmer. Computer 11, 4 (1978), 34-41.","journal-title":"Help for the Practicing Programmer. Computer"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_9_1","volume-title":"Verification and Validation Workshops. ICSTW. International Conference on. 192-199","author":"Gr\u00fcn Bernhard JM","year":"2009","unstructured":"Bernhard JM Gr\u00fcn , David Schuler , and Andreas Zeller . 2009 . The impact of equivalent mutants. In Software Testing , Verification and Validation Workshops. ICSTW. International Conference on. 192-199 . Bernhard JM Gr\u00fcn, David Schuler, and Andreas Zeller. 2009. The impact of equivalent mutants. In Software Testing, Verification and Validation Workshops. ICSTW. International Conference on. 192-199."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"e_1_3_2_1_11_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson . 2012 . Software Abstractions: Logic, Language, and Analysis . 2 nd edition. The MIT Press . Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis. 2nd edition. The MIT Press.","edition":"2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337616"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092732"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100138"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.07.009"},{"key":"e_1_3_2_1_18_1","first-page":"1","article-title":"Detecting Trivial Mutant Equivalences via Compiler Optimisations","volume":"99","author":"Kintis Marinos","year":"2017","unstructured":"Marinos Kintis , Mike Papadakis , Yue Jia , Nicos Malevris , Yves Le Traon , and Mark Harman . 2017 . Detecting Trivial Mutant Equivalences via Compiler Optimisations . IEEE Transactions on Software Engineering PP , 99 (2017), 1 - 1 . Marinos Kintis, Mike Papadakis, Yue Jia, Nicos Malevris, Yves Le Traon, and Mark Harman. 2017. Detecting Trivial Mutant Equivalences via Compiler Optimisations. IEEE Transactions on Software Engineering PP, 99 (2017), 1-1.","journal-title":"IEEE Transactions on Software Engineering PP"},{"key":"e_1_3_2_1_19_1","volume-title":"16th International Working Conference on. 147-156","author":"Kintis Marinos","year":"2016","unstructured":"Marinos Kintis , Mike Papadakis , Andreas Papadopoulos , Evangelos Valvis , and Nicos Malevris . 2016 . Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. In Source Code Analysis and Manipulation (SCAM) , 16th International Working Conference on. 147-156 . Marinos Kintis, Mike Papadakis, Andreas Papadopoulos, Evangelos Valvis, and Nicos Malevris. 2016. Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study. In Source Code Analysis and Manipulation (SCAM), 16th International Working Conference on. 147-156."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.44"},{"key":"e_1_3_2_1_23_1","volume-title":"IEEE International Conference on. 371-380","author":"Mongiovi Melina","year":"2014","unstructured":"Melina Mongiovi , Gustavo Mendes , Rohit Gheyi , Gustavo Soares , and M\u00e1rcio Ribeiro . 2014 . Scaling testing of refactoring engines. In Software Maintenance and Evolution (ICSME) , IEEE International Conference on. 371-380 . Melina Mongiovi, Gustavo Mendes, Rohit Gheyi, Gustavo Soares, and M\u00e1rcio Ribeiro. 2014. Scaling testing of refactoring engines. In Software Maintenance and Evolution (ICSME), IEEE International Conference on. 371-380."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138945"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1996.507890"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818867"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the IEEE\/ACM international conference on Automated software engineering. 179-180","author":"Corina","unstructured":"Corina S. Pasareanu and Neha Rungta. 2010. Symbolic PathFinder: symbolic execution of Java bytecode . In Proceedings of the IEEE\/ACM international conference on Automated software engineering. 179-180 . Corina S. Pasareanu and Neha Rungta. 2010. Symbolic PathFinder: symbolic execution of Java bytecode. In Proceedings of the IEEE\/ACM international conference on Automated software engineering. 179-180."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.30"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1473"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.19"},{"key":"e_1_3_2_1_34_1","volume-title":"Making program refactoring safer","author":"Soares Gustavo","year":"2010","unstructured":"Gustavo Soares , Rohit Gheyi , Dalton Serey , and Tiago Massoni . 2010. Making program refactoring safer . IEEE software 27, 4 ( 2010 ), 52-57. Gustavo Soares, Rohit Gheyi, Dalton Serey, and Tiago Massoni. 2010. Making program refactoring safer. IEEE software 27, 4 (2010), 52-57."},{"key":"e_1_3_2_1_35_1","volume-title":"Software fault injection: inoculating programs against errors","author":"Voas Jeffrey","unstructured":"Jeffrey Voas and Gary McGraw . 1997. Software fault injection: inoculating programs against errors . John Wiley & Sons, Inc. Jeffrey Voas and Gary McGraw. 1997. Software fault injection: inoculating programs against errors. John Wiley & Sons, Inc."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136053","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136040.3136053","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:13:36Z","timestamp":1750198416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":33,"alternative-id":["10.1145\/3136040.3136053","10.1145\/3136040"],"URL":"https:\/\/doi.org\/10.1145\/3136040.3136053","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170492.3136053","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}