{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T06:37:41Z","timestamp":1792823861873,"version":"4.5.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107454","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-10","source":"Crossref","is-referenced-by-count":38,"title":["Static analysis of mutant subsumption"],"prefix":"10.1109","author":[{"given":"Bob","family":"Kurtz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref10","volume-title":"An Interactive Program Verifier","author":"Deutsch","year":"1973"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.36"},{"key":"ref15","article-title":"Do redundant mutants affect the effectiveness and efficiency of mutation analysis?","volume-title":"Eighth Workshop on Mutation Analysis (IEEE Mutation 2012)","author":"Ren"},{"key":"ref16","volume-title":"Automated combinatorial testing for software-beyond pairwise testing","author":"Kacker","year":"2008"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.13"},{"key":"ref18","first-page":"553","article-title":"Generalized symbolic execution for model checking and testing","volume-title":"Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS\u201903","author":"Sarfraz"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.21"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"ref23","first-page":"176","article-title":"Mutation subsumption graphs","volume-title":"Seventh International Conference on Software Testing, Verification and Validation Workshops (IEEE Mutation 2014)","author":"Bob"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.18"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.027"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072998"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1542"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF02262722"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226317"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.30"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107454.pdf?arnumber=7107454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T05:53:00Z","timestamp":1792821180000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107454\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107454","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}