{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:47:30Z","timestamp":1725752850462},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8342123","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T23:20:11Z","timestamp":1524525611000},"page":"845-850","source":"Crossref","is-referenced-by-count":7,"title":["Resilience evaluation via symbolic fault injection on intermediate code"],"prefix":"10.23919","author":[{"given":"Hoang M.","family":"Le","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Herdt","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\/DATE.2007.364501"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2120950"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_25"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488859"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263960"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742922"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2016.7880375"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.30"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857510"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2016.7604663"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.2"},{"key":"ref6","article-title":"Symbolic fault injection","author":"larsson","year":"2007","journal-title":"Int'l Verification Workshop in connection with CADE-21"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"ref8","first-page":"209","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.219"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2013.12"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2602976"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244062"},{"key":"ref20","first-page":"347","article-title":"Reducing critical failures for control algorithms using executable assertions and best effort recover","author":"vinter","year":"2001","journal-title":"DSN"},{"journal-title":"End to end verification and validation with SPIN","year":"2013","author":"sharma","key":"ref22"},{"journal-title":"PACEMAKER system specification","year":"2007","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/503229.503230"}],"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\/08342123.pdf?arnumber=8342123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,29]],"date-time":"2018-05-29T00:03:01Z","timestamp":1527552181000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8342123\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8342123","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}