{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:20:51Z","timestamp":1781972451620,"version":"3.54.5"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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,3]]},"DOI":"10.23919\/date.2019.8714912","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T21:29:07Z","timestamp":1558042147000},"page":"360-365","source":"Crossref","is-referenced-by-count":39,"title":["Verifying Instruction Set Simulators using Coverage-guided Fuzzing"],"prefix":"10.23919","author":[{"given":"Vladimir","family":"Herdt","sequence":"first","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, 28359, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, 28359, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, 28359, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Bremen, Bremen, 28359, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","article-title":"Neural fuzzing: applying DNN to software security testing","year":"0"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252469"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2017.8303898"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISSoC.2012.6376356"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115618"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2656106.2656113"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref12","article-title":"Oss-fuzz - continuous fuzzing for open source software","year":"2018"},{"key":"ref13","article-title":"Microsoft security development lifecycle","year":"2018"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572303"},{"key":"ref15","article-title":"libFuzzer - a library for coverage-guided fuzz testing","year":"2018"},{"key":"ref16","article-title":"american fuzzy lop","year":"2018"},{"key":"ref17","author":"waterman","year":"2017","journal-title":"The RISC-V Instruction Set Manual Volume I User-Level ISA"},{"key":"ref18","author":"waterman","year":"2017","journal-title":"The RISC-V Instruction Set Manual Volume II Privileged Architecture"},{"key":"ref19","article-title":"RISC-V virtual prototype","year":"0"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176425"},{"key":"ref27","article-title":"Verifying SystemC using intermediate verification language and stateful symbolic simulation","author":"herdt","year":"2018","journal-title":"TCAD"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224444"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775907"},{"key":"ref29","author":"yuan","year":"2006","journal-title":"Constraint-Based Verification"},{"key":"ref5","first-page":"1","article-title":"Rapid prototyping and compact testing of CPU emulators","author":"ma","year":"2010","journal-title":"RSP"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/978-3-642-19583-9_13","article-title":"Feedback-based coverage directed test generation: An industrial evaluation","author":"ioannides","year":"2011","journal-title":"Hardware and Software Verification and Testing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10702-8_13"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1095430.1081750","article-title":"Cute: A concolic unit testing engine for c","author":"sen","year":"2005","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"ref20","year":"2011","journal-title":"IEEE Standard SystemC Language Reference Manual"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524047"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"ref24","article-title":"Forvis: A formal RISC-V ISA specification","year":"0"},{"key":"ref23","article-title":"Spike RISC-V ISA simulator","year":"0"},{"key":"ref26","article-title":"RISC-V torture test generator","year":"0"},{"key":"ref25","article-title":"RISC-V ISA tests","year":"0"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Florence, Italy","start":{"date-parts":[[2019,3,25]]},"end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714912.pdf?arnumber=8714912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T19:15:40Z","timestamp":1674587740000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714912","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}