{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:39:59Z","timestamp":1760819999534},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664833"},{"type":"electronic","value":"9783540482543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48254-7_12","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T17:45:26Z","timestamp":1194371126000},"page":"161-170","source":"Crossref","is-referenced-by-count":3,"title":["Assessing Error Detection Coverage by Simulated Fault Injection"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Constantinescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/32.44380","volume":"2","author":"J. Arlat","year":"1990","unstructured":"Arlat, J. et al: Fault Injection for Dependability Validation: a Methodology and Some Applications. IEEE Trans. Software Engineering, 2 (1990) 166\u2013182","journal-title":"IEEE Trans. Software Engineering"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1109\/12.54853","volume":"4","author":"J. Barton","year":"1990","unstructured":"Barton, J., Czeck, E., Segall, Z., Siewiorek, D.: Fault Injection Experiments using FIAT. IEEE Trans. Computers, 4 (1990) 575\u2013582","journal-title":"IEEE Trans. Computers"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/32.666826","volume":"2","author":"J. Carreira","year":"1998","unstructured":"Carreira, J., Madeira, H., Silva, J. G.: Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Trans. Soft. Engineering, 2 (1998) 125\u2013136","journal-title":"IEEE Trans. Soft. Engineering"},{"doi-asserted-by":"crossref","unstructured":"Chillarege, R., Bowen, N.: Understanding Large Systems Failures-A fault Injection Experiment., Proc. 19th FTCS Symposium (1989) 356\u2013363","key":"12_CR4","DOI":"10.1109\/FTCS.1989.105592"},{"doi-asserted-by":"crossref","unstructured":"Constantinescu, C.: Validation of the fault\/error handling mechanisms of the Teraflops supercomputer. Proc. 28th FTCS Symposium (1998) 382\u2013389","key":"12_CR5","DOI":"10.1109\/FTCS.1998.689489"},{"doi-asserted-by":"crossref","unstructured":"Constantinescu, C.: Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems. Proc. 9th Annual Conf. Computer Assurance, Gaithersburg (1994) 101\u2013106","key":"12_CR6","DOI":"10.1109\/CMPASS.1994.318463"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1109\/24.475993","volume":"4","author":"C. Constantinescu","year":"1995","unstructured":"Constantinescu, C.: Using Multi-stage & Stratified Sampling for Inferring Fault Coverage Probabilities. IEEE Trans. Reliability, 4 (1995) 632\u2013639","journal-title":"IEEE Trans. Reliability"},{"unstructured":"Echtle, K., Leu, M.: The EFA Fault Injector for Fault Tolerant Distributed System Testing. Proc. Fault Tolerant Parallel and Distributed Systems Workshop, (1992) 28\u201335","key":"12_CR8"},{"unstructured":"Folkesson, P., Svensson, S., Karlsson, J.: A comparison of simulated based and scan chain implemented fault injection. Proc. 28th FTCS Symposium (1998) 284\u2013293","key":"12_CR9"},{"doi-asserted-by":"crossref","unstructured":"Ghosh, A., Johnson, B.: System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications. Proc. IEEE International Computer Performance and Dependability Symposium (1995) 194\u2013203","key":"12_CR10","DOI":"10.1109\/IPDS.1995.395832"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/12.559803","volume":"1","author":"K. Goswami","year":"1997","unstructured":"Goswami, K., Iyer, R.K., Young, L.: DEPEND: A Simulation Based Environment for System Level Dependability Analysis. IEEE Trans. Computers, 1 (1997) 60\u201374","journal-title":"IEEE Trans. Computers"},{"unstructured":"Han, S., Shin, K., Rosenberg, H.: DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems. Proc. IEEE International Computer Performance and Dependability Symposium. (1995) 204\u2013213","key":"12_CR12"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/2.585157","volume":"4","author":"M.C. Hsueh","year":"1997","unstructured":"Hsueh, M.C., Tsai, T. K., Iyer, R. K.: Fault injection techniques and tools. IEEE Computer, 4 (1997) 75\u201382","journal-title":"IEEE Computer"},{"unstructured":"Iyer, R. K.: Experimental Evaluation. Special Issue 25th FTCS Symp. (1995) 115\u2013132","key":"12_CR14"},{"doi-asserted-by":"crossref","unstructured":"Jenn, E. et al.: Fault Injection into VHDL Models: The MEFISTO tool. Proc. 24th FTCS Symposium (1994) 66\u201375","key":"12_CR15","DOI":"10.1109\/FTCS.1994.315656"},{"doi-asserted-by":"crossref","unstructured":"Kanawati, G., Kanawati, N., Abraham, J.: FERRARI: A Tool for the Validation of System Dependability Properties. Proc. 22nd FTCS Symposium (1992) 336\u2013344","key":"12_CR16","DOI":"10.1109\/FTCS.1992.243567"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/40.259894","volume":"1","author":"J. Karlsson","year":"1994","unstructured":"Karlsson, J. et al.: Using Heavy-ion Radiation to Validate Fault Handling Mechanisms. IEEE Micro, 1 (1994) 8\u201332","journal-title":"IEEE Micro"},{"unstructured":"Karlsson, J. et al.: Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture. Proc. 5th DCCA Conference (1995) 150\u2013161","key":"12_CR18"},{"key":"12_CR19","volume-title":"Fault Tolerant and Fault Testable Hardware Design","author":"P. K. Lala","year":"1985","unstructured":"Lala, P. K.: Fault Tolerant and Fault Testable Hardware Design. Prentice Hall Int., New York (1985)"},{"doi-asserted-by":"crossref","unstructured":"Madeira, H., Rela, M., Moreira, F., Silva, J. G.: A General Purpose Pin-level Fault Injector. Proc. 1st European Dependable Computing Conference, (1994) 199\u2013216","key":"12_CR20","DOI":"10.1007\/3-540-58426-9_132"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/12.364537","volume":"2","author":"D. Powel","year":"1995","unstructured":"Powel, D., Martins, E., Arlat, J., Crouzet, Y.: Estimators for fault tolerance coverage evaluation. IEEE Trans. Computers, 2 (1995) 261\u2013274","journal-title":"IEEE Trans. Computers"},{"unstructured":"Powel, D., Cukier, M., Arlat, J.: On stratified sampling for high coverage estimators. Proc. 2nd European Dependable Computing Conference (1996) 37\u201354","key":"12_CR22"},{"key":"12_CR23","first-page":"108","volume":"1","author":"D. T. Scott","year":"1998","unstructured":"Scott, D. T., Ries, G., Hsueh, M., Iyer, R. K.: Dependability Analysis of a High-Speed Network Using Software-implemented Fault Injected and Simulated Fault Injection. IEEE Trans. Computers, 1 (1998) 108\u2013119","journal-title":"IEEE Trans. Computers"},{"doi-asserted-by":"crossref","unstructured":"Segal, Z., Lin, T.: FIAT: Fault Injection Based Automated Testing Environment. Proc. 18th FTCS Symposium (1988) 102\u2013107","key":"12_CR24","DOI":"10.1109\/FTCS.1988.5306"},{"doi-asserted-by":"crossref","unstructured":"Silva, J. G. et al: Experimental Assessment of Parallel Systems. Proc. 26th FTCS Symposium (1996) 415\u2013424","key":"12_CR25","DOI":"10.1109\/FTCS.1996.534627"},{"key":"12_CR26","volume-title":"The Theory and Practice of Reliable Design. Digital Press, Digital Equipment Corp.","author":"D. P. Siewiorek","year":"1984","unstructured":"Siewiorek, D. P., Swarz, R. S.: The Theory and Practice of Reliable Design. Digital Press, Digital Equipment Corp., Bedford, Massachusetts (1984)"},{"unstructured":"Trivedi, K. S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall (1982)","key":"12_CR27"},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1109\/24.58727","volume":"4","author":"C. J. Walter","year":"1990","unstructured":"Walter, C. J.: Evaluation and Design of an Ultra reliable Distributed Architecture for Fault Tolerance. IEEE Trans. Reliability, 4 (1990) 492\u2013499","journal-title":"IEEE Trans. Reliability"},{"unstructured":"PROTO Language. Design Technology Documentation PROT03, Intel Corp (1995)","key":"12_CR29"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-3"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48254-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T20:10:48Z","timestamp":1551039048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48254-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664833","9783540482543"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-48254-7_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}