{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:04Z","timestamp":1740131944907,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2018YFB2101300"],"award-info":[{"award-number":["2018YFB2101300"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872147"],"award-info":[{"award-number":["61872147"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1908571"],"award-info":[{"award-number":["1908571"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2021,3,1]]},"DOI":"10.1109\/tc.2020.2988906","type":"journal-article","created":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T20:22:01Z","timestamp":1587500521000},"page":"400-413","source":"Crossref","is-referenced-by-count":3,"title":["Specification-Driven Conformance Checking for Virtual\/Silicon Devices Using Mutation Testing"],"prefix":"10.1109","volume":"70","author":[{"given":"Haifeng","family":"Gu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianning","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingsong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tongquan","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref39","article-title":"Intel 8255x 10\/100 Mbps ethernet controller family software developer manual"},{"year":"0","key":"ref38","article-title":"PCI\/PCI-X family of gigabit ethernet controllers software developer's manual"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691136"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.44"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488770"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884866"},{"year":"0","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"year":"0","key":"ref40","article-title":"e1000: eliminate infinite loops on out-of-bounds transfer start"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.208"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETSYM.2010.5512761"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"ref15","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc USENIX Symp on Operating System Design and Implementation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref17","first-page":"281","article-title":"CRETE: A versatile binary-level concolic testing framework","author":"chen","year":"2018","journal-title":"Proc Int Conf Fundam Approaches Softw Eng"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106245"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346062"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1634"},{"year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2151024.2151034"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2691348"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092724"},{"key":"ref5","first-page":"93:1","article-title":"Specification-driven automated conformance checking for virtual prototype and post-silicon designs","author":"gu","year":"2018","journal-title":"Proc Des Autom Conf"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-1359-2","author":"chen","year":"2013","journal-title":"System-LeveL Validation High-Level Modeling and Directed Test Generation Techniques"},{"key":"ref7","first-page":"41","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proc USENIX Annu Tech Conf"},{"key":"ref2","first-page":"1","article-title":"Recovering device drivers","author":"swift","year":"2004","journal-title":"Proc USENIX Symp on Operating System Design and Implementation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100048"},{"key":"ref1","first-page":"1698","article-title":"The next generation of virtual prototyping: Ultra-fast yet accurate simulation of HW\/SW systems","author":"bringmann","year":"2015","journal-title":"Proc Des Autom Test Eur Conf Exhib"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180183"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.38"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154265"},{"key":"ref24","first-page":"279","article-title":"SymDrive: Testing drivers without devices","author":"renzelmann","year":"2012","journal-title":"Proc USENIX Symp on Operating System Design and Implementation"},{"year":"0","key":"ref41","article-title":"e1000: Avoid infinite loop in processing transmit descriptor (CVE-2015–6815)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9142-y"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.13"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2950052"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2017.2705662"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606721"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/12\/9351819\/9075350-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/9351819\/09075350.pdf?arnumber=9075350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T05:30:27Z","timestamp":1696051827000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9075350\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,1]]},"references-count":44,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tc.2020.2988906","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2021,3,1]]}}}