{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:37:25Z","timestamp":1756636645836,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/icess.2019.8782476","type":"proceedings-article","created":{"date-parts":[[2019,8,2]],"date-time":"2019-08-02T00:01:41Z","timestamp":1564704101000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["End-to-End Concolic Testing for Hardware\/Software Co-Validation"],"prefix":"10.1109","author":[{"given":"Bo","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Cong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenkun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jialu","family":"Wang","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":[{"journal-title":"8051\/8052 emulator","year":"2006","author":"komppa","key":"ref10"},{"journal-title":"PCI\/PCI-X family of gigabit ethernet controllers software developer's manual","year":"2009","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref13","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"8th USENIX Symposium on Operating Systems Design and Implementation OSDI 2008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.11"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110358"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_16"},{"key":"ref18","article-title":"Symdrive: Testing drivers without devices","author":"renzelmann","year":"2012","journal-title":"USENIX Symp on Operating Systems Design & Implementation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2014.23229"},{"key":"ref4","article-title":"DR. CHECKER: A soundy analysis for linux kernel drivers","author":"machiry","year":"2017","journal-title":"26th USENIX Security Symposium"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196055"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"ref6","article-title":"Inception: System-wide security testing of real-world embedded systems software","author":"corteggiani","year":"2018","journal-title":"Proceedings of the 27th USENIX Security Symposium"},{"key":"ref5","article-title":"Structurally defined conditional dataflow static analysis","author":"sherman","year":"0","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems TACAS 2018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183471"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2754896"},{"key":"ref2","article-title":"Dependable model-driven development of CPS: from stateflow simulation to verified implementation","volume":"3","author":"jiang","year":"2019","journal-title":"TCPS"},{"key":"ref9","article-title":"Qemu, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"Proceedings of the FREENIX Track 2005 USENIX Annual Technical Conference"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2714641"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020383505582"},{"key":"ref22","article-title":"Specification-driven automated conformance checking for virtual prototype and post-silicon designs","author":"gu","year":"2018","journal-title":"Proc 55th Design Automation Conference DAC'2018"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679400"},{"journal-title":"Hardware\/Software Co-monitoring","year":"2019","author":"lei","key":"ref23"},{"journal-title":"LLVM Language Reference Manual","year":"2006","author":"lattner","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.2015.7443099"}],"event":{"name":"2019 IEEE International Conference on Embedded Software and Systems (ICESS)","start":{"date-parts":[[2019,6,2]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2019,6,3]]}},"container-title":["2019 IEEE International Conference on Embedded Software and Systems (ICESS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8771047\/8782437\/08782476.pdf?arnumber=8782476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:43:31Z","timestamp":1658155411000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8782476\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icess.2019.8782476","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}