{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T05:56:06Z","timestamp":1776923766416,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600428","type":"print"},{"value":"9783540494096","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60042-6_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:32:29Z","timestamp":1330277549000},"page":"178-196","source":"Crossref","is-referenced-by-count":1,"title":["Deterministic fault injection of distributed systems"],"prefix":"10.1007","author":[{"given":"Scott","family":"Dawson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farnam","family":"Jahanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J. Arlat, Y. Crouzet, and J.-C. Laprie. Fault injection for dependability validation of fault-tolerant computing systems. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 348\u2013355, June 1989.","DOI":"10.1109\/FTCS.1989.105591"},{"issue":"4","key":"13_CR2","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/24.58723","volume":"39","author":"J. Arlat","year":"1990","unstructured":"Jean Arlat, Martine Aguera, Yves Crouzet, Jean-Charles Fabre, Eliane Martins, and David Powell. Experimental evaluation of the fault tolerance of an atomic multicast system. IEEE Trans. Reliability, 39(4):455\u2013467, October 1990.","journal-title":"IEEE Trans. Reliability"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"D. Avresky, J. Arlat, J.C. Laprie, and Yves Crouzet. Fault injection for the formal testing of fault tolerance. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 345\u2013354. IEEE, 1992.","DOI":"10.1109\/FTCS.1992.243566"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"R. Braden. RFC-1122: Requirements for internet hosts. Request for Comments, October 1989. Network Information Center.","DOI":"10.17487\/rfc1122"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"R. Chillarege and N. S. Bowen. Understanding large system failures \u2014 a fault injection experiment. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 356\u2013363, June 1989.","DOI":"10.1109\/FTCS.1989.105592"},{"issue":"4","key":"13_CR6","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1109\/24.58726","volume":"39","author":"G. Choi","year":"1990","unstructured":"G. Choi, R. Iyer, and V. Carreno. Simulated fault injection: A methodology to evaluate fault tolerant microprocessor architectures. IEEE Trans. Reliability, 39(4):486\u2013490, October 1990.","journal-title":"IEEE Trans. Reliability"},{"key":"13_CR7","unstructured":"Douglas E. Comer and John C. Lin. Probing TCP implementations. In Proc. Summer USENIX Conference, June 1994."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF01784719","volume":"4","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Reaching agreement on processor-group membership in synchronous distributed systems. Distributed Computing, (4):175\u2013187, 1991.","journal-title":"Distributed Computing"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"E. Czeck and D. Siewiorek. Effects of transient gate-level faults on program behaviour. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 236\u2013243. IEEE, 1990.","DOI":"10.1109\/FTCS.1990.89371"},{"key":"13_CR10","unstructured":"Scott Dawson and Farnam Jahanian. Probing and fault injection of protocol implementations. Technical Report CSE-TR-217-94, The University of Michigan, October 1994."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"K. Echtle and Y. Chen. Evaluation of deterministic fault injection for faulttolerant protocol testing. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 418\u2013425. IEEE, 1991.","DOI":"10.1109\/FTCS.1991.146695"},{"key":"13_CR12","unstructured":"Klaus Echtle and Martin Leu. The EFA fault injector for fault-tolerant distributed system testing. In Workshop on Fault-Tolerant Parallel and Distributed Systems, pages 28\u201335. IEEE, 1992."},{"issue":"2","key":"13_CR13","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1109\/TR.1987.5222333","volume":"36","author":"G. Finelli","year":"1987","unstructured":"G. Finelli. Characterization of fault recovery through fault injection on ftmp. IEEE Trans. Reliability, 36(2):164\u2013170, June 1987.","journal-title":"IEEE Trans. Reliability"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"K. Goswami and R. Iyer. Simulation of software behaviour under hardware faults. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 218\u2013227. IEEE, 1993.","DOI":"10.1109\/FTCS.1993.627325"},{"key":"13_CR15","unstructured":"Vassos Hadzilacos and Sam Toueg. Fault-tolerant broadcasts and related problems. In Sape Mullender, editor, Distributed Systems. Addison Wesley, 1993. Second Edition."},{"key":"13_CR16","unstructured":"Seungjae Han, Harold A. Rosenberg, and Kang G. Shin. DOCTOR: An IntegrateD sOftware fault injeCTOn enviRonment. Technical Report CSE-TR-192-93, The University of Michigan, December 1993."},{"issue":"1","key":"13_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/32.67579","volume":"17","author":"N. C. Hutchinson","year":"1991","unstructured":"Norman C. Hutchinson and Larry L. Peterson. The x-Kernel: An architecture for implementing network protocols. IEEE Trans. Software Engineering, 17(1):1\u201313, January 1991.","journal-title":"IEEE Trans. Software Engineering"},{"issue":"3","key":"13_CR18","first-page":"313","volume":"7","author":"D. B. Ingham","year":"1994","unstructured":"David B. Ingham and Graham D. Parrington. Delayline: A wide-area network emulation tool. Computing Systems, 7(3):313\u2013332, Summer 1994.","journal-title":"Computing Systems"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Farnam Jahanian, Ragunathan Rajkumar, and Sameh Fakhouri. Processor group membership protocols: Specification, design and implementation. In Proceedings of the 12th Symposium on Reliable Distributed Systems, pages 2\u201311, Princeton, New Jersey, October 1993.","DOI":"10.1109\/RELDIS.1993.393478"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"G.A Kanawati, N.A. Kanawati, and J.A. Abraham. FERRARI: A tool for the validation of system dependability properties. In Proc. Int'l Symp. on Fault-Tolerant Computing, pages 336\u2013344. IEEE, 1992.","DOI":"10.1109\/FTCS.1992.243567"},{"key":"13_CR21","unstructured":"Steven McCanne and Van Jacobson. The bsd packet filter: A new architecture for user-level packet capture. In Winter USENIX Conference, pages 259\u2013269, January 1993."},{"key":"13_CR22","unstructured":"Shivakant Mishra, Larry L. Peterson, and Richard D. Schlichtung. A membership protocol based on partial order. In Second Working Conference on Dependable Computing for Critical Applications, February 1990."},{"key":"13_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/41457.37505","volume-title":"Proc. ACM Symp. on Operating Systems Principles","author":"J. Mogul","year":"1987","unstructured":"J. Mogul, R. Rashid, and M. Accetta. The packet filter: An efficient mechanism for user-level network code. In Proc. ACM Symp. on Operating Systems Principles, pages 39\u201351, Austin, TX, November 1987. ACM."},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Jon Postel. RFC-793: Transmission control protocol. Request for Comments, September 1981. Network Information Center.","DOI":"10.17487\/rfc0793"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"A. M. Ricciardi and K. P. Birman. Using process groups to implement failure detection in asynchronous environments. In Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, August 1991.","DOI":"10.1145\/112600.112628"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Z. Segall et al. Fiat \u2014 fault injection based automated testing environment. In FTCS-18, pages 102\u2013107, 1988.","DOI":"10.1109\/FTCS.1988.5306"},{"issue":"4","key":"13_CR27","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/TC.1986.1676773","volume":"C-35","author":"K. G. Shin","year":"1986","unstructured":"K. G. Shin and Y. H. Lee. Measurement and application of fault latency. IEEE Trans. Computers, C-35(4):370\u2013375, April 1986.","journal-title":"IEEE Trans. Computers"},{"key":"13_CR28","unstructured":"Masanobu Yuhara, Brian N. Bershad, Chris Maeda, and J. Eliot B. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In Winter USENIX Conference, January 1994. Second Edition."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice in Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60042-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:50:54Z","timestamp":1742597454000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60042-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600428","9783540494096"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60042-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}