{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:59Z","timestamp":1750307579367,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T00:00:00Z","timestamp":1259020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,11,24]]},"DOI":"10.1145\/1655925.1656086","type":"proceedings-article","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T15:21:10Z","timestamp":1259076070000},"page":"883-890","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A formal approach for specification and verification of fault injection process"],"prefix":"10.1145","author":[{"given":"Fay\u00e7al","family":"Bessayah","sequence":"first","affiliation":[{"name":"IT\/Telecom SudParis, CNRS\/SAMOVAR, Paris, France"}]},{"given":"Ana","family":"Cavalli","sequence":"additional","affiliation":[{"name":"IT\/Telecom SudParis, CNRS\/SAMOVAR, Paris, France"}]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[{"name":"State University of Campinas, Sao Paulo, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2009,11,24]]},"reference":[{"unstructured":"W3C recommendation at http:\/\/www.w3.org\/TR\/soap\/.  W3C recommendation at http:\/\/www.w3.org\/TR\/soap\/.","key":"e_1_3_2_1_1_1"},{"unstructured":"The Travel Reservation Service at http:\/\/www.netbeans.org\/kb\/55\/understand_trs.html.  The Travel Reservation Service at http:\/\/www.netbeans.org\/kb\/55\/understand_trs.html.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/363235.363259"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/BF01213604"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1109\/32.44380"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2003 International Conference on Dependable Systems and Networks","author":"Arlat M.","year":"2003","unstructured":"J. Arlat M. Rodriguez , J. C. Fabre . Building swifi tools from temporal logic specifications ,. In Proceedings of the 2003 International Conference on Dependable Systems and Networks , 2003 . J. Arlat M. Rodriguez, J. C. Fabre. Building swifi tools from temporal logic specifications,. In Proceedings of the 2003 International Conference on Dependable Systems and Networks, 2003."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Third European Dependable Computing Conference on Dependable Computing","author":"Fabre J.","year":"1999","unstructured":"J. C. Fabre J. Arlat M. Rodriguez , F. Salles . Mafalda : Microkernel assessment by fault injection and design aid ,. In Proceedings of the Third European Dependable Computing Conference on Dependable Computing , 1999 . J. C. Fabre J. Arlat M. Rodriguez, F. Salles. Mafalda: Microkernel assessment by fault injection and design aid,. In Proceedings of the Third European Dependable Computing Conference on Dependable Computing, 1999."},{"key":"e_1_3_2_1_10_1","volume-title":"Ballista project:cots software robustness testing","author":"DeVale J.","year":"1998","unstructured":"K. DeVale J. DeVale K. Fernsler D. Guttendorf N. Kropp J. Pan C. Shelton Y. Shi P. Koopman , D. Siewiorek . Ballista project:cots software robustness testing . 1998 . K. DeVale J. DeVale K. Fernsler D. Guttendorf N. Kropp J. Pan C. Shelton Y. Shi P. Koopman, D. Siewiorek. Ballista project:cots software robustness testing. 1998."},{"unstructured":"F. Jahanian S. Dawson and T. Mitton. Orchestra: A probing and fault injection environment for testing protocol implementations .  F. Jahanian S. Dawson and T. Mitton. Orchestra: A probing and fault injection environment for testing protocol implementations .","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","volume-title":"Erlangen","author":"Shin S.","year":"1995","unstructured":"K. G. Shin S. Han and H. A. Rosenberg . Doctor: An integrated software fault injection environment for distributed realtime systems. Presented at International computer performance and dependability symposium , Erlangen ; Germany , 1995 . K. G. Shin S. Han and H. A. Rosenberg. Doctor: An integrated software fault injection environment for distributed realtime systems. Presented at International computer performance and dependability symposium, Erlangen; Germany, 1995."}],"event":{"sponsor":["AICIT","ETRI","KISTI"],"acronym":"ICIS '09","name":"ICIS '09: The 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human","location":"Seoul Korea"},"container-title":["Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655925.1656086","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1655925.1656086","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:12Z","timestamp":1750250472000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1655925.1656086"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11,24]]},"references-count":10,"alternative-id":["10.1145\/1655925.1656086","10.1145\/1655925"],"URL":"https:\/\/doi.org\/10.1145\/1655925.1656086","relation":{},"subject":[],"published":{"date-parts":[[2009,11,24]]},"assertion":[{"value":"2009-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}