{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:28Z","timestamp":1760586628271},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dsn.2012.6263914","type":"proceedings-article","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T16:04:08Z","timestamp":1345133048000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["Binary mutation testing through dynamic translation"],"prefix":"10.1109","author":[{"given":"Markus","family":"Becker","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Kuznik","sequence":"additional","affiliation":[]},{"given":"Mabel Mary","family":"Joy","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170202"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2011.6114167"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2011.47"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"journal-title":"CERTITUDE Functional Qualification System","year":"2011","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-39388-9_26"},{"journal-title":"Design of mutant operators for the C programming language","year":"1989","author":"richard","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2011.5985925"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154265"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"journal-title":"Targetlink","year":"0","key":"10"},{"journal-title":"QEMU Open Source Processor Emulator","year":"0","key":"7"},{"key":"6","first-page":"41","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference"},{"journal-title":"ARM System Developer's Guide Designing and Optimizing System Software","year":"2004","author":"sloss","key":"5"},{"journal-title":"ARM Architecture Ref Manuals","year":"0","key":"4"},{"key":"9","article-title":"Program instrumentation with QEMU","author":"guillon","year":"2011","journal-title":"Proceedings of the Design Automation & Test in Europe Conference DATE"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629446"}],"event":{"name":"2012 42nd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","start":{"date-parts":[[2012,6,25]]},"location":"Boston, MA, USA","end":{"date-parts":[[2012,6,28]]}},"container-title":["IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6253623\/6263904\/06263914.pdf?arnumber=6263914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T17:00:03Z","timestamp":1490115603000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6263914\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/dsn.2012.6263914","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}