{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T23:27:41Z","timestamp":1750116461779,"version":"3.28.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-14T20:37:48Z","timestamp":1431635868000},"page":"1-10","source":"Crossref","is-referenced-by-count":36,"title":["Static analysis of mutant subsumption"],"prefix":"10.1109","author":[{"given":"Bob","family":"Kurtz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Ammann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.26"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.3.CO;2-M"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226317"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF02262722"},{"key":"ref30","article-title":"Muranker: A mutant ranking tool","author":"namin","year":"2014","journal-title":"Software Testing Verification and Reliability"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.30"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"journal-title":"An Interactive Program Verifier","year":"1973","author":"deutsch","key":"ref10"},{"key":"ref40","first-page":"134","article-title":"Pex-white box test generation for. NET","author":"tillmann","year":"2008","journal-title":"LNCS 4966 Second International Conference on Tests and Proofs"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","article-title":"Assigning meanings to programs","volume":"10","author":"floyd","year":"1967","journal-title":"Proc of a Symposium in Applied Mathematics"},{"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?","author":"ren","year":"2012","journal-title":"Eighth Workshop on Mutation Analysis (IEEE Mutation 2012)"},{"journal-title":"Automated combinatorial testing for software-beyond pairwise testing","year":"2008","author":"kacker","key":"ref16"},{"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","author":"sarfraz","year":"2003","journal-title":"Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'03"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)"},{"key":"ref5","first-page":"1066","article-title":"Symbolic execution for software testing in practice: Preliminary assessment","author":"cristian","year":"2011","journal-title":"Proceeding of the 33rd international conference on Software engineering - ICSE '11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref1","first-page":"21","article-title":"Establishing theoretical minimal sets of mutants","author":"paul","year":"2014","journal-title":"IEEE International Conference on Software Testing Verification and Validation (ICST) 2011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.18"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568265"},{"key":"ref23","first-page":"176","article-title":"Mutation subsumption graphs","author":"bob","year":"2014","journal-title":"Seventh International Conference on Software Testing Verification and Validation Workshops (IEEE Mutation 2014)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072998"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.027"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","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":[[2017,6,23]],"date-time":"2017-06-23T11:38:44Z","timestamp":1498217924000},"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]]}}}