{"id":"https://openalex.org/W2612987433","doi":"https://doi.org/10.23919/date.2017.7927020","title":"Data flow testing for virtual prototypes","display_name":"Data flow testing for virtual prototypes","publication_year":2017,"publication_date":"2017-03-01","ids":{"openalex":"https://openalex.org/W2612987433","doi":"https://doi.org/10.23919/date.2017.7927020","mag":"2612987433"},"language":"en","primary_location":{"id":"doi:10.23919/date.2017.7927020","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017","raw_type":"proceedings-article"},"type":"conference-paper","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/A5115044986","display_name":"Muhammad Hassan","orcid":"https://orcid.org/0000-0002-4217-3079"},"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":"Muhammad Hassan","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"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"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vladimir Herdt","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"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/A5100775464","display_name":"Hoang M. Le","orcid":"https://orcid.org/0000-0002-8957-4144"},"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":"Hoang M. Le","raw_affiliation_strings":["Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"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/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I4210139618","display_name":"Shanghai Key Laboratory of Trustworthy Computing","ror":"https://ror.org/030qbr085","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210139618"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Key Lab of Trustworthy Computing, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I4210139618","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112634980","display_name":"Daniel Grose","orcid":null},"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":"Daniel Grose","raw_affiliation_strings":["Universitat Bremen, Bremen, Bremen, DE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Bremen, Bremen, Bremen, DE","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"]},{"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":"Rolf Drechsler","raw_affiliation_strings":["Cyber-Physical Systems, DFKI GmbH, Bremen, Germany","Institute of Computer Science, University of Bremen, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"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"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5215,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83552485,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"se 3","issue":null,"first_page":"380","last_page":"385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8543958067893982},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.8510026931762695},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6055446267127991},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5088053345680237},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.5067937970161438},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4491738975048065},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.42475005984306335},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4208253026008606},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.29837876558303833},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19359630346298218},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11426249146461487}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8543958067893982},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.8510026931762695},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6055446267127991},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5088053345680237},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5067937970161438},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4491738975048065},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.42475005984306335},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4208253026008606},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.29837876558303833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19359630346298218},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11426249146461487},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date.2017.7927020","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date.2017.7927020","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1981175410","https://openalex.org/W1985551847","https://openalex.org/W1989210785","https://openalex.org/W2002446960","https://openalex.org/W2009625310","https://openalex.org/W2013382827","https://openalex.org/W2032782696","https://openalex.org/W2049695835","https://openalex.org/W2051374949","https://openalex.org/W2053769757","https://openalex.org/W2055424026","https://openalex.org/W2076600865","https://openalex.org/W2082066754","https://openalex.org/W2108557864","https://openalex.org/W2125301519","https://openalex.org/W2143811997","https://openalex.org/W2151032032","https://openalex.org/W2345866173","https://openalex.org/W2534962781","https://openalex.org/W2551524848","https://openalex.org/W4248404026","https://openalex.org/W4254132856","https://openalex.org/W6678810262"],"related_works":["https://openalex.org/W2301151507","https://openalex.org/W2170936907","https://openalex.org/W2380800843","https://openalex.org/W2140328095","https://openalex.org/W77471018","https://openalex.org/W3150987667","https://openalex.org/W1852321729","https://openalex.org/W2802530065","https://openalex.org/W1527923678","https://openalex.org/W2945784709"],"abstract_inverted_index":{"Data":[0],"flow":[1,39,62,92],"testing":[2,11,40,116],"(DFT)":[3],"has":[4],"been":[5],"shown":[6],"to":[7,26,36,66,87,118,124,150],"be":[8],"an":[9],"effective":[10],"strategy.":[12],"DFT":[13],"features":[14],"a":[15,53,96,100],"high":[16],"fault":[17],"detection":[18],"rate":[19],"while":[20],"avoiding":[21],"the":[22,68,90,115,126,136,145,152],"intense":[23],"scalability":[24],"problems":[25],"achieve":[27],"full":[28],"path":[29],"coverage.":[30],"In":[31],"this":[32],"paper":[33],"we":[34,51,84],"propose":[35],"apply":[37],"data":[38,61,91],"for":[41,60,95,114],"SystemC":[42,56,69,146],"virtual":[43],"prototypes":[44],"(VPs).":[45],"Our":[46,129],"contribution":[47],"is":[48],"twofold:":[49],"First,":[50],"develop":[52],"set":[54],"of":[55,71,102,140],"specific":[57,147],"coverage":[58,93,109,127,148],"criteria":[59,149],"testing.":[63],"This":[64],"requires":[65],"consider":[67],"semantics":[70],"using":[72,99],"non-preemptive":[73],"thread":[74],"scheduling":[75],"with":[76],"shared":[77],"memory":[78],"communication":[79],"and":[80,104,138,144],"event-based":[81],"synchronization.":[82],"Second,":[83],"explain":[85],"how":[86],"automatically":[88],"compute":[89],"result":[94,110],"given":[97],"VP":[98],"combination":[101],"static":[103],"dynamic":[105],"analysis":[106,142],"techniques.":[107],"The":[108],"provides":[111],"clear":[112],"suggestions":[113],"engineer":[117],"add":[119],"new":[120],"testcases":[121],"in":[122],"order":[123],"improve":[125,151],"result.":[128],"experimental":[130],"results":[131],"on":[132],"real-world":[133],"VPs":[134],"demonstrate":[135],"applicability":[137],"efficacy":[139],"our":[141],"approach":[143],"testsuite.":[153]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}