{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:48Z","timestamp":1763468268751,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102594","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Iterative Instrumentation for Code Coverage in Time-Sensitive Systems"],"prefix":"10.1109","author":[{"given":"Tosapon","family":"Pankumhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Rutherford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","article-title":"Mutation testing of software using a MIMD computer","author":"offutt","year":"1992","journal-title":"1992 International Conference on Parallel Processing"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/32.90444"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086283"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.02.034"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2068304"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)00098-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"ref17","first-page":"313","article-title":"An integrated system for program testing using weak mutation and data flow analysis","author":"girgis","year":"1985","journal-title":"Proceedings of the 8th International Conference on Software Engineering"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566186"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108801"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.392"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm021"},{"key":"ref6","first-page":"267","article-title":"Anytime Heuristic Search","volume":"28","author":"hansen","year":"2007","journal-title":"J Artif In tell Res (JAIR)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1471"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(70)90007-X"},{"key":"ref8","first-page":"647","article-title":"Automated realtime testing (ARTT) for embedded control systems (ECS)","author":"hawkins","year":"2002","journal-title":"IEEE Proc Annual Reliability and Maintainability Symposium"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1121788.1121800"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.12.030"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321682"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.32"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553558"},{"key":"ref24","first-page":"104","article-title":"Logic Coverage","author":"paul","year":"2008","journal-title":"Introduction to Software Testing"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2010.5452024"},{"journal-title":"On Mutation and Data Flow","year":"1993","author":"wong","key":"ref26"},{"journal-title":"On Mutation","year":"1980","author":"acree","key":"ref25"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102594.pdf?arnumber=7102594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:44:14Z","timestamp":1490381054000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102594\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102594","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}