{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:11:08Z","timestamp":1772043068343,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T00:00:00Z","timestamp":1499644800000},"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,7,10]]},"DOI":"10.1145\/3092703.3092732","type":"proceedings-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T20:17:18Z","timestamp":1499804238000},"page":"284-294","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Inferring mutant utility from program context"],"prefix":"10.1145","author":[{"given":"Ren\u00e9","family":"Just","sequence":"first","affiliation":[{"name":"University of Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Kurtz","sequence":"additional","affiliation":[{"name":"George Mason University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[{"name":"George Mason University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Georgia Institute of Technology","author":"Acree Alan T.","unstructured":"Alan T. Acree . 1980. On Mutation . Ph.D. Dissertation . Georgia Institute of Technology , Atlanta, GA . Alan T. Acree. 1980. On Mutation. Ph.D. Dissertation. Georgia Institute of Technology, Atlanta, GA."},{"key":"e_1_3_2_1_2_1","first-page":"1338","article-title":"How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-Evolution. In Proceedings of the Genetic and Evolutionary Computation Conference","volume":"3103","author":"Adamopoulos Konstantinos","year":"2004","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 Proceedings of the Genetic and Evolutionary Computation Conference . Springer LNCS 3103 , 1338 \u2013 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 Proceedings of the Genetic and Evolutionary Computation Conference. Springer LNCS 3103, 1338\u20131349.","journal-title":"Springer LNCS"},{"key":"e_1_3_2_1_3_1","volume-title":"Tailored mutants fit bugs better. arXiv preprint arXiv:1611.02516","author":"Allamanis Miltiadis","year":"2016","unstructured":"Miltiadis Allamanis , Earl T. Barr , Ren\u00e9 Just , and Charles Sutton . 2016. Tailored mutants fit bugs better. arXiv preprint arXiv:1611.02516 ( 2016 ). Miltiadis Allamanis, Earl T. Barr, Ren\u00e9 Just, and Charles Sutton. 2016. Tailored mutants fit bugs better. arXiv preprint arXiv:1611.02516 (2016)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_8_1","volume-title":"An introduction to the bootstrap","author":"Efron Bradley","unstructured":"Bradley Efron and Robert J Tibshirani . 1994. An introduction to the bootstrap . CRC press . Bradley Efron and Robert J Tibshirani. 1994. An introduction to the bootstrap. CRC press."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381815"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884787"},{"key":"e_1_3_2_1_12_1","volume-title":"Mutation Testing for the New Century","author":"Harman Mark","unstructured":"Mark Harman , Rob Hierons , and Sebastian Danicic . 2001. Mutation Testing for the New Century . Kluwer Academic Publishers , Chapter The Relationship Between Program Dependence and Mutation Analysis, 5\u201313. Mark Harman, Rob Hierons, and Sebastian Danicic. 2001. Mutation Testing for the New Century. Kluwer Academic Publishers, Chapter The Relationship Between Program Dependence and Mutation Analysis, 5\u201313."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.13"},{"key":"e_1_3_2_1_14_1","first-page":"4","article-title":"Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification, and Reliability","volume":"9","author":"Hierons Rob","year":"1999","unstructured":"Rob Hierons , Mark Harman , and Sebastian Danicic . 1999 . Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification, and Reliability , Wiley 9 , 4 (December 1999), 233\u2013262. Rob Hierons, Mark Harman, and Sebastian Danicic. 1999. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification, and Reliability, Wiley 9, 4 (December 1999), 233\u2013262.","journal-title":"Wiley"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628053"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Dagstuhl Seminar 13021: Symbolic Methods in Testing","volume":"1303","author":"Just Ren\u00e9","year":"2013","unstructured":"Ren\u00e9 Just , Michael D. Ernst , and Gordon Fraser . 2013 . Using state infection conditions to detect equivalent mutants and speed up mutation analysis . In Proceedings of the Dagstuhl Seminar 13021: Symbolic Methods in Testing , Vol. abs\/ 1303 .2784. Ren\u00e9 Just, Michael D. Ernst, and Gordon Fraser. 2013. Using state infection conditions to detect equivalent mutants and speed up mutation analysis. In Proceedings of the Dagstuhl Seminar 13021: Symbolic Methods in Testing, Vol. abs\/1303.2784."},{"key":"e_1_3_2_1_18_1","unstructured":"arXiv:1303.2784 preprint.  arXiv:1303.2784 preprint."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610388"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1561"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.024"},{"key":"e_1_3_2_1_24_1","unstructured":"Issue 8.  Issue 8."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.20"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950322"},{"key":"e_1_3_2_1_27_1","volume-title":"On Strong Mutation and Subsuming Mutants. In Twelfth IEEE Workshop on Mutation Analysis (Mutation","author":"Lindstr\u00f6m Birgitta","year":"2016","unstructured":"Birgitta Lindstr\u00f6m and Andr\u00e1s M\u00e1rki . 2016 . On Strong Mutation and Subsuming Mutants. In Twelfth IEEE Workshop on Mutation Analysis (Mutation 2016). Chicago, Illinois, USA. Birgitta Lindstr\u00f6m and Andr\u00e1s M\u00e1rki. 2016. On Strong Mutation and Subsuming Mutants. In Twelfth IEEE Workshop on Mutation Analysis (Mutation 2016). Chicago, Illinois, USA."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170248"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1542"},{"key":"e_1_3_2_1_30_1","first-page":"3","article-title":"Using Compiler Optimization Techniques to Detect Equivalent Mutants. Software Testing, Verification, and Reliability","volume":"4","author":"Offutt Jeff","year":"1994","unstructured":"Jeff Offutt and William Michael Craft . 1994 . Using Compiler Optimization Techniques to Detect Equivalent Mutants. Software Testing, Verification, and Reliability , Wiley 4 , 3 (September 1994), 131\u2013154. Jeff Offutt and William Michael Craft. 1994. Using Compiler Optimization Techniques to Detect Equivalent Mutants. Software Testing, Verification, and Reliability, Wiley 4, 3 (September 1994), 131\u2013154.","journal-title":"Wiley"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"e_1_3_2_1_32_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_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257597"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818867"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_2_1_36_1","first-page":"353","article-title":"Covering and uncovering equivalent mutants. Software Testing, Verification, and Reliability","volume":"23","author":"Schuler David","year":"2013","unstructured":"David Schuler and Andreas Zeller . 2013 . Covering and uncovering equivalent mutants. Software Testing, Verification, and Reliability , Wiley 23 , 5 (2013), 353 \u2013 374 . David Schuler and Andreas Zeller. 2013. Covering and uncovering equivalent mutants. Software Testing, Verification, and Reliability, Wiley 23, 5 (2013), 353\u2013 374.","journal-title":"Wiley"},{"key":"e_1_3_2_1_37_1","volume-title":"Voas and Gary McGraw","author":"Jeffrey","year":"1997","unstructured":"Jeffrey M. Voas and Gary McGraw . 1997 . Software Fault Injection: Inoculating Programs Against Errors. John Wiley & amp; Sons, Inc., New York, NY, USA. Jeffrey M. Voas and Gary McGraw. 1997. Software Fault Injection: Inoculating Programs Against Errors. John Wiley &amp; Sons, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 8th Brazilian Symposium on Software Engineering","author":"Wong W. Eric","unstructured":"W. Eric Wong , M\u00e1rcio E. Delamaro , Jos\u00e9 C. Maldonado , and Aditya P. Mathur . 1994. Constrained Mutation in C Programs . In Proceedings of the 8th Brazilian Symposium on Software Engineering . Curitiba, Brazil, 439\u2013452. W. Eric Wong, M\u00e1rcio E. Delamaro, Jos\u00e9 C. Maldonado, and Aditya P. Mathur. 1994. Constrained Mutation in C Programs. In Proceedings of the 8th Brazilian Symposium on Software Engineering. Curitiba, Brazil, 439\u2013452."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"}],"event":{"name":"ISSTA '17: International Symposium on Software Testing and Analysis","location":"Santa Barbara CA USA","acronym":"ISSTA '17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092732","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3092703.3092732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:27Z","timestamp":1750217847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3092703.3092732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,10]]},"references-count":37,"alternative-id":["10.1145\/3092703.3092732","10.1145\/3092703"],"URL":"https:\/\/doi.org\/10.1145\/3092703.3092732","relation":{},"subject":[],"published":{"date-parts":[[2017,7,10]]},"assertion":[{"value":"2017-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}