{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T19:03:43Z","timestamp":1745003023346},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/prdc.2002.1185618","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"51-58","source":"Crossref","is-referenced-by-count":19,"title":["Analysis of the effects of real and injected software faults: Linux as a case study"],"prefix":"10.1109","author":[{"given":"T.","family":"Jarboui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Arlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Crouzet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Kanoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Marteau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534615"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857571"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.387474"},{"key":"ref13","article-title":"Checking System Rules Using System-Specific Programmer-Written Compiler Extensions","author":"engler","year":"2000","journal-title":"Proc 4th Symp Operating Systems Design and Implementation (OSDI 00)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302691"},{"journal-title":"Devik's MM Gallery","year":"2001","author":"devera","key":"ref15"},{"key":"ref16","first-page":"143","article-title":"MAFALDA: Microkernel Assessment by Fault Injection and Design Aid","author":"rodr\u00edguez","year":"1999","journal-title":"Proc 3rd European Dependable Computing Conf (EDCC-3)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781031"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.177364"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1997.632800"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2001.930165"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/12.238482"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/6.780999"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028917"},{"key":"ref7","article-title":"Preliminary Dependability Benchmark Framework","author":"madeira","year":"2001","journal-title":"DBench Project 1ST 2000-25425 Deliverable CF 2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534620"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/23.903758"}],"event":{"name":"2002 Pacific Rim International Symposium on Dependable Computing","acronym":"PRDC-02","location":"Tsukuba City, Ibaraki, Japan"},"container-title":["2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8447\/26604\/01185618.pdf?arnumber=1185618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:31:26Z","timestamp":1489444286000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1185618\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/prdc.2002.1185618","relation":{},"subject":[]}}