{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:11:24Z","timestamp":1764173484423,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2008,6,1]],"date-time":"2008-06-01T00:00:00Z","timestamp":1212278400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/dsn.2008.4630118","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:10:29Z","timestamp":1222427429000},"page":"472-481","source":"Crossref","is-referenced-by-count":44,"title":["SymPLFIED: Symbolic program-level fault injection and error detection framework"],"prefix":"10.1109","author":[{"given":"Karthik","family":"Pattabiraman","sequence":"first","affiliation":[{"name":"Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA"}]},{"given":"Nithin","family":"Nakka","sequence":"additional","affiliation":[{"name":"Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA"}]},{"given":"Zbigniew","family":"Kalbarczyk","sequence":"additional","affiliation":[{"name":"Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA"}]},{"given":"Ravishankar","family":"Iyer","sequence":"additional","affiliation":[{"name":"Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA"}]}],"member":"263","reference":[{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"journal-title":"TCAS II Collision Avoidance System (CAS) System Requirements Spec","year":"1993","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.657846"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.1023\/A:1011276507260","article-title":"bounded model-checking using satisfiability solving","author":"clarke","year":"2001","journal-title":"Formal Methods in System Design"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630118"},{"key":"11","first-page":"85","article-title":"symbolic fault injection","volume":"259","author":"larrson","year":"2007","journal-title":"International Verification Workshop (VERIFY)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00034-9"},{"article-title":"a methodology and simple example","year":"1993","author":"cyrluk","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028894"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.855819"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364501"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244062"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1010891.1010899"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250741"}],"event":{"name":"2008 IEEE International Conference on Dependable Systems & Networks With FTCS and DCC (DSN)","start":{"date-parts":[[2008,6,24]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4610267\/4630050\/04630118.pdf?arnumber=4630118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T17:40:31Z","timestamp":1756489231000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4630118\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/dsn.2008.4630118","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}