{"id":"https://openalex.org/W4308095139","doi":"https://doi.org/10.1109/fdl56239.2022.9925661","title":"Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification","display_name":"Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification","publication_year":2022,"publication_date":"2022-09-14","ids":{"openalex":"https://openalex.org/W4308095139","doi":"https://doi.org/10.1109/fdl56239.2022.9925661"},"language":"en","primary_location":{"id":"doi:10.1109/fdl56239.2022.9925661","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl56239.2022.9925661","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014619192","display_name":"Niklas Bruns","orcid":"https://orcid.org/0000-0001-8921-4301"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Niklas Bruns","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012137527","display_name":"Vladimir Herdt","orcid":"https://orcid.org/0000-0002-4481-057X"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]},{"id":"https://openalex.org/I33256026","display_name":"German Research Centre for Artificial Intelligence","ror":"https://ror.org/01ayc5b57","country_code":"DE","type":"funder","lineage":["https://openalex.org/I33256026"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vladimir Herdt","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany","Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","institution_ids":["https://openalex.org/I33256026"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["University of Bremen,Institute of Computer Science,Bremen,Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"University of Bremen,Institute of Computer Science,Bremen,Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Institute of Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5014619192"],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":1.0592,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76368404,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9904999732971191,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9308278560638428},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8244361281394958},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7094899415969849},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6571754217147827},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5239256024360657},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5187295079231262},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47771406173706055},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46176236867904663},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.44626423716545105},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3556898832321167},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33067676424980164},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27110469341278076},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11398223042488098},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09395584464073181}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9308278560638428},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8244361281394958},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7094899415969849},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6571754217147827},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5239256024360657},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5187295079231262},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47771406173706055},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46176236867904663},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.44626423716545105},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3556898832321167},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33067676424980164},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27110469341278076},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11398223042488098},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09395584464073181},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl56239.2022.9925661","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl56239.2022.9925661","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 Forum on Specification & Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311649","display_name":"Ministry of Education","ror":"https://ror.org/036nq5137"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4232884709","https://openalex.org/W2517087431","https://openalex.org/W3006477812","https://openalex.org/W3021250941","https://openalex.org/W4322716318","https://openalex.org/W4385625698","https://openalex.org/W2913567871","https://openalex.org/W4220856780","https://openalex.org/W2055425904","https://openalex.org/W3186404636"],"abstract_inverted_index":{"Coverage-guided":[0],"Fuzzing":[1],"(CGF)":[2],"has":[3],"been":[4],"shown":[5],"to":[6,52,96,117,131,177,182],"be":[7,170],"a":[8,43,90,113,149],"very":[9],"effective":[10,124],"verification":[11],"technique":[12],"in":[13,23,81,85,140],"the":[14,19,24,35,40,48,54,66,78,82,104,119,127,141,157],"Software":[15],"(SW)":[16],"domain.":[17],"However,":[18],"application":[20],"of":[21,39,74,126,160],"CGF":[22,55,83,99,151],"embedded":[25,58,109],"system":[26],"domain":[27],"is":[28,47],"much":[29],"more":[30],"limited":[31],"so":[32],"far.":[33],"Beside":[34],"necessary":[36],"integration":[37,147],"effort":[38],"fuzzing":[41],"engine,":[42],"main":[44],"limiting":[45],"factor":[46],"employed":[49],"coverage":[50,67,94,130,135,168],"metric":[51,68,95],"guide":[53],"process.":[56,152],"Since":[57],"systems":[59],"integrate":[60],"Hardware":[61],"(HW)":[62],"and":[63,143,175],"SW":[64,79],"parts,":[65],"should":[69],"reflect":[70],"both":[71],"parts":[72],"instead":[73],"reasoning":[75],"exclusively":[76],"about":[77],"execution":[80],"process.Therefore,":[84],"this":[86],"paper,":[87],"we":[88,111],"propose":[89],"novel":[91],"unified":[92,128,166],"HW/SW":[93,101,129,167],"boost":[97],"state-of-the-art":[98,184],"for":[100,108,146],"co-verification.":[102],"Following":[103],"modern":[105,150],"design":[106],"flow":[107],"systems,":[110],"leverage":[112],"Virtual":[114],"Prototype":[115],"(VP)":[116],"represent":[118],"HW":[120],"part.":[121],"We":[122],"designed":[123],"representations":[125],"capture":[132],"all":[133],"relevant":[134],"information":[136],"at":[137,173],"run":[138],"time":[139],"VP":[142],"tailored":[144],"it":[145],"with":[148],"Our":[153,164],"RISC-V":[154],"experiments":[155],"demonstrate":[156],"practical":[158],"applicability":[159],"our":[161],"proposed":[162,165],"approach.":[163],"can":[169],"effectively":[171],"managed":[172],"runtime":[174],"enables":[176],"reach":[178],"deeper":[179],"bugs":[180],"compared":[181],"existing":[183],"CGF.":[185]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}