{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:39Z","timestamp":1750220439020,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"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":[[2020,12,21]]},"DOI":"10.1145\/3324884.3418921","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:39:02Z","timestamp":1611790742000},"page":"1388-1390","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Identifying mutation subsumption relations"],"prefix":"10.1145","author":[{"given":"Beatriz","family":"Souza","sequence":"first","affiliation":[{"name":"Federal University of Campina Grande, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Marcio Eduardo Delamaro, and Jeff Offutt","author":"Ammann Paul","year":"2014","unstructured":"Paul Ammann, Marcio Eduardo Delamaro, and Jeff Offutt. 2014. Establishing theoretical minimal sets of mutants. In ICST (Cleveland, OH, USA). IEEE, Piscataway, NJ, USA, 21--30."},{"key":"e_1_3_2_1_2_1","unstructured":"Artifacts. 2020. https:\/\/colab.research.google.com\/drive\/1kldmXBGgJIOEpCCr6o9cm3P0Jnz7mMix?usp=sharing. (2020)."},{"volume-title":"TACAS (Budapest, Hungary)","author":"de Moura Leonardo Mendon\u00e7a","key":"e_1_3_2_1_3_1","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In TACAS (Budapest, Hungary). Springer, Berlin, Germany, 337--340."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"volume-title":"FSE (Szeged, Hungary)","author":"Fraser Gordon","key":"e_1_3_2_1_5_1","unstructured":"Gordon Fraser and Andrea Arcuri. 2011. EvoSuite: automatic test suite generation for object-oriented software. In FSE (Szeged, Hungary). ACM, New York, NY, USA, 416--419."},{"key":"e_1_3_2_1_6_1","first-page":"854","article-title":"Mutation Reduction Strategies Considered Harmful","volume":"66","author":"Gopinath Rahul","year":"2017","unstructured":"Rahul Gopinath, Iftekhar Ahmed, Mohammad Alipour, Carlos Jensen, and Alex Groce. 2017. Mutation Reduction Strategies Considered Harmful. IEEE TR 66 (2017), 854--874. Issue 3.","journal-title":"IEEE TR"},{"volume-title":"ICST (Porto, Portugal)","author":"Guimar\u00e3es Marcio","key":"e_1_3_2_1_7_1","unstructured":"Marcio Guimar\u00e3es, Leo Fernandes, M\u00e1rcio Ribeiro, Marcelo d'Amorim, and Rohit Gheyi. 2020. Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations. In ICST (Porto, Portugal). IEEE, Piscataway, NJ, USA, To appear."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"e_1_3_2_1_9_1","first-page":"1379","article-title":"Higher Order Mutation Testing","volume":"51","author":"Jia Y.","year":"2009","unstructured":"Y. Jia and M. Harman. 2009. Higher Order Mutation Testing. IST 51, 10 (2009), 1379 -- 1393.","journal-title":"IST"},{"volume-title":"ICST (Montreal, QC, Canada)","author":"Just Ren\u00e9","key":"e_1_3_2_1_10_1","unstructured":"Ren\u00e9 Just, Gregory M Kapfhammer, and Franz Schweiggert. 2012. Do redundant mutants affect the effectiveness and efficiency of mutation analysis?. In ICST (Montreal, QC, Canada). IEEE, Piscataway, NJ, USA, 720--725."},{"volume-title":"AST (Waikiki","author":"Kaminski Gary","key":"e_1_3_2_1_11_1","unstructured":"Gary Kaminski, Paul Ammann, and Jeff Offutt. 2011. Better predicate testing. In AST (Waikiki, Honolulu, HI, USA). ACM, New York, NY, USA, 57--63."},{"volume-title":"APSEC (Sydney, NSW, Australia)","author":"Kintis Marinos","key":"e_1_3_2_1_12_1","unstructured":"Marinos Kintis, Mike Papadakis, and Nicos Malevris. 2010. Evaluating mutation testing alternatives: A collateral experiment. In APSEC (Sydney, NSW, Australia). IEEE, Piscataway, NJ, USA, 300--309."},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"On strong mutation and the theory of subsuming logic-based mutants","volume":"29","author":"Lindstr\u00f6m Birgitta","year":"2019","unstructured":"Birgitta Lindstr\u00f6m and Andr\u00e1s M\u00e1rki. 2019. On strong mutation and the theory of subsuming logic-based mutants. STVR 29, 1--2 (2019), e1667.","journal-title":"STVR"},{"key":"e_1_3_2_1_14_1","first-page":"97","article-title":"MuJava: an automated class mutation system","volume":"15","author":"Ma Yu-Seung","year":"2005","unstructured":"Yu-Seung Ma, Jeff Offutt, and Yong-Rae Kwon. 2005. MuJava: an automated class mutation system. STVR 15, 2 (2005), 97--133.","journal-title":"STVR"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"M. Marcozzi S. Bardin N. Kosmatov M. Papadakis V. Prevosto and L. Correnson. 2018. Time to Clean Your Test Objectives. In ICSE. ACM Gothenburg Sweden 456--467.","DOI":"10.1145\/3180155.3180191"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286422"},{"key":"e_1_3_2_1_17_1","first-page":"1098","article-title":"A mutation carol: Past, present and future","volume":"53","author":"Offutt Jeff","year":"2011","unstructured":"Jeff Offutt. 2011. A mutation carol: Past, present and future. IST 53, 10 (2011), 1098 -- 1107.","journal-title":"IST"},{"volume-title":"ICSE (Minneapolis, MN, USA)","author":"Pacheco Carlos","key":"e_1_3_2_1_18_1","unstructured":"Carlos Pacheco, Shuvendu Lahiri, Michael Ernst, and Thomas Ball. 2007. Feedback-Directed Random Test Generation. In ICSE (Minneapolis, MN, USA). IEEE, Piscataway, NJ, USA, 75--84."},{"volume-title":"ISSTA (Saarbr\u00fccken, Germany)","author":"Papadakis Mike","key":"e_1_3_2_1_19_1","unstructured":"Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, and Yves Le Traon. 2016. Threats to the Validity of Mutation-based Test Assessment. In ISSTA (Saarbr\u00fccken, Germany). ACM, New York, NY, USA, 354--365."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"volume-title":"ICST (Paris, France)","author":"Papadakis Mike","key":"e_1_3_2_1_21_1","unstructured":"Mike Papadakis and Nicos Malevris. 2010. An empirical evaluation of the first and second order mutation testing strategies. In ICST (Paris, France). IEEE, Piscataway, NJ, USA, 90--99."},{"volume-title":"PLDI (London, UK)","author":"Winterer Dominik","key":"e_1_3_2_1_22_1","unstructured":"Dominik Winterer, Chengyu Zhang, and Zhendong Su. 2020. Validating SMT Solvers via Semantic Fusion. In PLDI (London, UK). ACM, New York, NY, USA, 718--730."}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3418921","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3418921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:23Z","timestamp":1750193243000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3418921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":22,"alternative-id":["10.1145\/3324884.3418921","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3418921","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}