{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:46:05Z","timestamp":1730342765771,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8342125","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T19:20:11Z","timestamp":1524511211000},"page":"857-860","source":"Crossref","is-referenced-by-count":10,"title":["Testbench qualification for SystemC-AMS timed data flow models"],"prefix":"10.23919","author":[{"given":"Muhammad","family":"Hassan","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[]},{"given":"Thilo","family":"Vortler","sequence":"additional","affiliation":[]},{"given":"Karsten","family":"Einwich","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Design of mutant operators for the C programming language","year":"1989","author":"agrawal","key":"ref10"},{"journal-title":"Coside®","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2007.904230"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISSoC.2012.6376356"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"ref3","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":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref5","first-page":"733","article-title":"On the use of mutation faults in empirical assessments of test case prioritization techniques","volume":"32","author":"do","year":"2006","journal-title":"TSE"},{"key":"ref8","first-page":"606","article-title":"Guided lightweight software test qualification for IP integration using virtual prototypes","author":"gro\u00dfe","year":"2016","journal-title":"ICCD"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090656"},{"key":"ref2","article-title":"Systemc ams extensions users guide","author":"barnasconi","year":"2010","journal-title":"Accellera Systems Initiative"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/101.481204"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2018,3,19]]},"location":"Dresden","end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08342125.pdf?arnumber=8342125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T20:02:53Z","timestamp":1527537773000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8342125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8342125","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}