{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:39:07Z","timestamp":1729658347049,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927020","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:34:41Z","timestamp":1494866081000},"page":"380-385","source":"Crossref","is-referenced-by-count":12,"title":["Data flow testing for virtual prototypes"],"prefix":"10.23919","author":[{"given":"Muhammad","family":"Hassan","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Herdt","sequence":"additional","affiliation":[]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[]},{"given":"Mingsong","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref11","first-page":"396","article-title":"A mutation model for the SystemC TLM 2.0 communication interfaces","author":"bombieri","year":"2008","journal-title":"DATE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2009.17"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"},{"key":"ref14","article-title":"Guided lightweight software test qualification for IP integration using virtual prototypes","author":"gro\u00dfe","year":"2016","journal-title":"ICCD"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.236871"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698890"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.81"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.417"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2232351"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228421"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744927"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488877"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0717"},{"key":"ref2","first-page":"113","article-title":"Proving transaction and system-level properties of untimed SystemC TLM designs","author":"gro\u00dfe","year":"2010","journal-title":"MEMOCODE"},{"journal-title":"IEEE Standard SystemC LRM","year":"2011","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","article-title":"testing programs with the aid of a compiler","volume":"se 3","author":"hamlet","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.104"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6860690"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927020.pdf?arnumber=7927020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T13:37:24Z","timestamp":1569332244000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927020","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}