{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:48:12Z","timestamp":1725551292789},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000129"},{"type":"electronic","value":"9783540360803"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36080-8_16","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"159-171","source":"Crossref","is-referenced-by-count":3,"title":["UMLinux - A Versatile SWIFI Tool"],"prefix":"10.1007","author":[{"given":"Volkmar","family":"Sieh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Buchacker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,8]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1109\/12.54853","volume":"39","author":"J. Barton","year":"1990","unstructured":"J. Barton, E. Czeck, Z. Segall, and D. Siewiorek. Fault injection experiments using FIAT. IEEE Transactions on Computers, 39(4):575\u2013582, 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"K. Buchacker and V. Sieh. Framework for testing the fault-tolerance of systems including OS and network aspects. In Proceedings Sixth IEEE International High-Assurance Systems Engineering Symposium, pages 95\u2013105, 2001.","DOI":"10.1109\/HASE.2001.966811"},{"key":"16_CR3","unstructured":"J. Carreira, H. Madeira, and J. G. Silva. Xception: Software fault injection and monitoring in processor functional units. In 5th International Working Conference on Dependable Computing for Critical Applications, pages 135\u2013149, 1995."},{"key":"16_CR4","unstructured":"G. J. Carrette. Crashme. http:\/\/people.delphi.com\/gjc\/crashme.html , 1996."},{"key":"16_CR5","unstructured":"Conntectix Corporation. Virtual PC. http:\/\/www.connectix.com\/ , 2001."},{"key":"16_CR6","unstructured":"DBench-Dependability Benchmarking (Project IST-2000-25425). Coordinator: Laboratoire d\u2019Analyse et d\u2019Architecture des Syst\u00e8mes du Centre National de la Recherche Scientifique, Toulouse, France; Partners: Chalmers University of Technology, G\u00f6teborg, Sweden; Critical Software, Coimbra, Portugal; Faculdade de Ciencias e Technologia da Universidade de Coimbra, Portugal; Friedrich-Alexander Universit\u00e4t, Erlangen-N\u00fcrnberg, Germany; Microsoft Research, Cambridge, UK; Universidad Politechnica de Valencia, Spain. http:\/\/www.laas.fr\/DBench\/ , 2001."},{"key":"16_CR7","unstructured":"J. Dike. A user-mode port of the Linux kernel. In 5th Annual Linux Showcase & Conference, Oakland, California, 2001."},{"key":"16_CR8","unstructured":"H.-J. H\u00f6xer, K. Buchacker, and V. Sieh. Umlinux-a tool for testing a linux system\u2019s fault tolerance. In LinuxTag 2002, Karlsruhe, Germany, June 6-9, 2002, 2002."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson. Fault injection into VHDL models: The MEFISTO tool. In Proceedings of the 24th IEEE International Symposium on Fault Tolerant Computing, pages 66\u201375, 1994.","DOI":"10.1109\/FTCS.1994.315656"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"G. Kanawati, N. Kanawati, and J. Abraham. FERRARI: A tool for the validation of system dependability properties. In Proceedings of the 22th IEEE International Symposium on Fault Tolerant Computing, pages 336\u2013344, 1992.","DOI":"10.1109\/FTCS.1992.243567"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"N. Kropp, P. J. Koopman, and D.P. Siewiorek. Automated robustness testing of off-the-shelf software components. In Proceedings of the 28th IEEE International Symposium on Fault Tolerant Computing, pages 230\u2013239, 1998.","DOI":"10.1109\/FTCS.1998.689474"},{"key":"16_CR12","unstructured":"K. Lawton. Plex86. http:\/\/www.plex86.org\/ , 2001."},{"key":"16_CR13","unstructured":"B.P. Miller, D. Koski, C.P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz revised: A re-examination of the reliability of UNIX utilities and services. Computer Science Technical Report 1268, University of Wisconsin-Madison, 1995."},{"key":"16_CR14","unstructured":"M. Rodr\u00edguez, F. Salles, J. C. Fabre, and J. Arlat. MAFALDA: Microkernel assessment by fault injection and design aid. In 3rd European Dependable Computing Conference, pages 208\u2013217, 1993."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"M. Rosenblum, S.A. Herrod, E. Witchel, and A. Gupta. Complete computer simulation: The simos approach. IEEE Parallel and Distributed Technology, Fall, 1995.","DOI":"10.1109\/88.473612"},{"key":"16_CR16","unstructured":"V. Sieh. Fault-injector using UNIX ptrace interface. Internal Report 11\/93, IMMD3, Universit\u00e4t Erlangen-N\u00fcrnberg, 1993."},{"key":"16_CR17","unstructured":"V. Sieh and K. Buchacker. Testing the fault-tolerance of networked systems. In U. Brinkschulte, K.-E. Gr\u00f6spietsch, C. Hochberger, and E. W. Mayr, editors, International Conference on Architecture of Computing Systems ARCS 2002, Workshop Proceedings, pages 37\u201346, 2002."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"V. Sieh, O. Tsch\u00e4che, and F. Balbach. VERIFY: Evaluation of reliability using VHDL-models with integrated fault descriptions. In Proceedings of the 27th IEEE International Symposium on Fault Tolerant Computing, pages 32\u201336, 1997.","DOI":"10.1109\/FTCS.1997.614074"},{"key":"16_CR19","unstructured":"Source Forge. Bochs IA-32 Emulator Project. http:\/\/bochs.sourceforge.org\/ , 2001."},{"key":"16_CR20","unstructured":"Virtutech Inc. simics. http:\/\/www.simics.com\/ , 2001."},{"key":"16_CR21","unstructured":"VMware Inc. VMware. http:\/\/www.vmware.com\/ , 2001."},{"key":"16_CR22","unstructured":"W. Zhang. Linux virtual server for scalable network services. In Ottawa Linux Symposium 2000, 2000."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing EDCC-4"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36080-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T19:27:54Z","timestamp":1558985274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36080-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000129","9783540360803"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36080-8_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}