{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T21:07:30Z","timestamp":1774732050263,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF-1942055"],"award-info":[{"award-number":["CCF-1942055"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510187","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"1743-1754","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Prioritizing mutants to guide mutation testing"],"prefix":"10.1145","author":[{"given":"Samuel J.","family":"Kaufman","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Featherman","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Alvin","sequence":"additional","affiliation":[{"name":"University of Massachusetts"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bob","family":"Kurtz","sequence":"additional","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[{"name":"George Mason University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Just","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"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."},{"key":"e_1_3_2_1_2_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)."},{"key":"e_1_3_2_1_3_1","volume-title":"Establishing Theoretical Minimal Sets of Mutants. In 7th IEEE International Conference on Software Testing, Verification and Validation (ICST","author":"Ammann Paul","year":"2014","unstructured":"Paul Ammann, Marcio E. Delamaro, and Jeff Offutt. 2014. Establishing Theoretical Minimal Sets of Mutants. In 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014). Cleveland, Ohio, USA, 21--31."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_6_1","first-page":"2","article-title":"Toward the determination of sufficient mutant operators for C. Software Testing, Verification, and Reliability","volume":"11","author":"Barbosa Ellen Francine","year":"2001","unstructured":"Ellen Francine Barbosa, Jos\u00e9 C. Maldonado, and Auri Marcelo Rizzo Vincenzi. 2001. Toward the determination of sufficient mutant operators for C. Software Testing, Verification, and Reliability, Wiley 11, 2 (June 2001), 113--136.","journal-title":"Wiley"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00036"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106280"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416667"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/226295.226313"},{"key":"e_1_3_2_1_12_1","volume-title":"Experimental Evaluation of SDL and One-Op Mutation for C. In 7th IEEE International Conference on Software Testing, Verification and Validation (ICST","author":"Delamaro Marcio E.","year":"2014","unstructured":"Marcio E. Delamaro, Lin Deng, Serapilha Dureli, Nan Li, and Jeff Offutt. 2014. Experimental Evaluation of SDL and One-Op Mutation for C. In 7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014). Cleveland, Ohio."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 2014 Brazilian Symposium on Software Engineering (SBES). Macei\u00f3","author":"Delamaro M\u00e1rcio E.","unstructured":"M\u00e1rcio E. Delamaro, Lin Deng, Nan Li, and Vinicius H. S. Durelli. 2014. Growing a Reduced Set of Mutation Operators. In Proceedings of the 2014 Brazilian Symposium on Software Engineering (SBES). Macei\u00f3, Alagoas, Brazil, 81--90."},{"key":"e_1_3_2_1_14_1","volume-title":"Empirical Evaluation of the Statement Deletion Mutation Operator. In 6th IEEE International Conference on Software Testing, Verification and Validation (ICST","author":"Deng Lin","year":"2013","unstructured":"Lin Deng, Jeff Offutt, and Nan Li. 2013. Empirical Evaluation of the Statement Deletion Mutation Operator. In 6th IEEE International Conference on Software Testing, Verification and Validation (ICST 2013). Luxembourg, 80--93."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2017.2705662"},{"key":"e_1_3_2_1_17_1","volume-title":"Measuring Effectiveness of Mutant Sets. In 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 132--141","author":"Gopinath Rahul","year":"2016","unstructured":"Rahul Gopinath, Amin Alipour, Iftekhar Ahmed, Carlos Jensen, and Alex Groce. 2016. Measuring Effectiveness of Mutant Sets. In 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 132--141."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884787"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340459"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628053"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). 437--440","author":"Just Ren\u00e9","unstructured":"Ren\u00e9 Just, Darioush Jalali, and Michael D. Ernst. 2014. Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). 437--440."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.31"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092732"},{"key":"e_1_3_2_1_26_1","first-page":"5","article-title":"Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. Software Testing, Verification, and Reliability","volume":"25","author":"Just Ren\u00e9","year":"2015","unstructured":"Ren\u00e9 Just and Franz Schweiggert. 2015. Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators. Software Testing, Verification, and Reliability, Wiley 25, 5--7 (2015), 490--507.","journal-title":"Wiley"},{"key":"e_1_3_2_1_27_1","volume-title":"Better Predicate Testing. In Sixth Workshop on Automation of Software Test (AST","author":"Kaminski Garrett","year":"2011","unstructured":"Garrett Kaminski, Paul Ammann, and Jeff Offutt. 2011. Better Predicate Testing. In Sixth Workshop on Automation of Software Test (AST 2011). Honolulu HI, 57--63."},{"key":"e_1_3_2_1_28_1","volume-title":"Improving Logic-Based Testing. Journal of Systems and Software","author":"Kaminski Garrett","year":"2013","unstructured":"Garrett Kaminski, Paul Ammann, and Jeff Offutt. 2013. Improving Logic-Based Testing. Journal of Systems and Software, Elsevier 86 (August 2013), 2002--2012. Issue 8."},{"key":"e_1_3_2_1_29_1","volume-title":"Evaluating Mutation Testing Alternatives: A Collateral Experiment. In 17th Asia Pacific Software Engineering Conference (APSEC2010)","author":"Kintis Marinos","year":"2010","unstructured":"Marinos Kintis, Mike Papadakis, and Nicos Malevris. 2010. Evaluating Mutation Testing Alternatives: A Collateral Experiment. In 17th Asia Pacific Software Engineering Conference (APSEC2010). Sydney, Australia."},{"key":"e_1_3_2_1_31_1","volume-title":"Mutation Subsumption Graphs. In Tenth IEEE Workshop on Mutation Analysis (Mutation","author":"Kurtz Bob","year":"2014","unstructured":"Bob Kurtz, Paul Ammann, Marcio E. Delamaro, Jeff Offutt, and Lin Deng. 2014. Mutation Subsumption Graphs. In Tenth IEEE Workshop on Mutation Analysis (Mutation 2014). Cleveland, Ohio, USA, 176--185."},{"key":"e_1_3_2_1_32_1","volume-title":"How Redundant and Equivalent Mutants Affect Determination of Test Completeness. In Twelfth IEEE Workshop on Mutation Analysis (Mutation","author":"Kurtz Bob","year":"2016","unstructured":"Bob Kurtz, Paul Ammann, Jeff Offutt, and Mariet Kurtz. 2016. Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. In Twelfth IEEE Workshop on Mutation Analysis (Mutation 2016). Chicago, Illinois, USA."},{"key":"e_1_3_2_1_33_1","volume-title":"Analyzing the Validity of Selective Mutation with Dominator Mutants. In FSE 2016, Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering","author":"Kurtz Robert","year":"2016","unstructured":"Robert Kurtz, Paul Ammann, Jeff Offutt, M\u00e1rcio E. Delamaro, Mariet Kurtz, and Nida G\u00f6k\u00e7e. 2016. Analyzing the Validity of Selective Mutation with Dominator Mutants. In FSE 2016, Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Seattle, Washington, 571--582."},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of ICTCS.","author":"Marick Brian","year":"1999","unstructured":"Brian Marick. 1999. How to misuse code coverage. In Proc. of ICTCS."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170248"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1542"},{"key":"e_1_3_2_1_37_1","volume-title":"Second Workshop on Mutation Analysis (Mutation","author":"Namin Akbar Siami","year":"2006","unstructured":"Akbar Siami Namin and James H. Andrews. 2006. Finding Sufficient Mutation Operators via Variable Reduction. In Second Workshop on Mutation Analysis (Mutation 2006). Raleigh, NC."},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 29th International Conference on Software Engineering, Doctoral Symposium. ACM","author":"Namin Akbar Siami","unstructured":"Akbar Siami Namin and James H. Andrews. 2007. On Sufficiency of Mutants. In Proceedings of the 29th International Conference on Software Engineering, Doctoral Symposium. ACM, Minneapolis, MN, 73--74."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001461"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257597"},{"key":"e_1_3_2_1_43_1","volume-title":"Mutant Quality Indicators. In Thirteenth IEEE Workshop on Mutation Analysis (Mutation","author":"Papadakis Mike","year":"2018","unstructured":"Mike Papadakis, Thierry Titcheu Chekam, and Yves Le Traon. 2018. Mutant Quality Indicators. In Thirteenth IEEE Workshop on Mutation Analysis (Mutation 2018). Vasteras, Sweden, 32--39."},{"key":"e_1_3_2_1_44_1","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","author":"Pedregosa Fabian","year":"2011","unstructured":"Fabian Pedregosa, Ga\u00ebl Varoquaux, Alexandre Gramfort, Vincent Michel, Bertrand Thirion, Olivier Grisel, Mathieu Blondel, Peter Prettenhofer, Ron Weiss, Vincent Dubourg, et al. 2011. Scikit-learn: Machine learning in Python. Journal of Machine Learning Research 12, Oct (2011), 2825--2830.","journal-title":"Journal of Machine Learning Research 12"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183521"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00087"},{"key":"e_1_3_2_1_47_1","volume-title":"Practical Mutation Testing at Scale: A view from Google","author":"Petrovic Goran","year":"2021","unstructured":"Goran Petrovic, Marko Ivankovic, Gordon Fraser, and Rene Just. 2021. Practical Mutation Testing at Scale: A view from Google. IEEE Transactions on Software Engineering (2021)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00027"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1566445.1566540"},{"key":"e_1_3_2_1_50_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--452."},{"key":"e_1_3_2_1_51_1","first-page":"3","article-title":"Reducing the Cost of Mutation Testing: An Empirical Study","volume":"31","author":"Eric Wong W.","year":"1995","unstructured":"W. Eric Wong and Aditya P. Mathur. 1995. Reducing the Cost of Mutation Testing: An Empirical Study. Journal of Systems and Software, Elsevier 31, 3 (December 1995), 185--196.","journal-title":"Journal of Systems and Software, Elsevier"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931038"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510187","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510187","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:23Z","timestamp":1750191143000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":52,"alternative-id":["10.1145\/3510003.3510187","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510187","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}