{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:29:43Z","timestamp":1773512983384,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664833","type":"print"},{"value":"9783540482543","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48254-7_13","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T22:45:26Z","timestamp":1194389126000},"page":"171-188","source":"Crossref","is-referenced-by-count":9,"title":["Considering Workload Input Variations in Error Coverage Estimation"],"prefix":"10.1007","author":[{"given":"Peter","family":"Folkesson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Karlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"13_CR1","unstructured":"A. Aho, R. Sethi, and J. Ullman, \u201cCompilers: Principles, Techniques and Tools\u201d, Reading, MA: Addison Wesley, 1985."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"A. Amendola, L. Impagliazzo, P. Marmo, and F. Poli, \u201cExperimental Evaluation of Computer-Based Railway Control Systems\u201d, in Proc. 27th Int. Symp. on Fault-Tolerant Computing (FTCS-27), pp. 380\u2013384, (Seattle, WA, USA) June 1997.","DOI":"10.1109\/FTCS.1997.614112"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1109\/24.475993","volume":"44","author":"C. Constantinescu","year":"1995","unstructured":"C. Constantinescu, \u201cUsing multi-stage and stratified sampling for inferring fault-coverage probabilities\u201d, IEEE Transactions on Reliability, 44 (4), pp. 632\u2013639, 1995.","journal-title":"IEEE Transactions on Reliability"},{"issue":"5","key":"13_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1109\/12.142682","volume":"41","author":"E. Czeck","year":"1992","unstructured":"E. Czeck, and D. Siewiorek, \u201cObservations on the Effects of Fault Manifestation as a Function of Workload\u201d, IEEE Transactions on Computers, 41 (5), pp. 559\u2013566, May 1992.","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"P. Folkesson, S. Svensson, and J. Karlsson, \u201cA Comparison of Simulation Based and Scan Chain Implemented Fault Injection\u201d, in Proc. 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), pp. 284\u2013293, (Munich, Germany) June 1998.","DOI":"10.1109\/FTCS.1998.689479"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"U. Gunneflo, J. Karlsson, and J. Torin, \u201cEvaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation\u201d, in Proc. 19th Int. Symp. Fault-Tolerant Computing (FTCS-19), pp. 340\u2013347, 1989.","DOI":"10.1109\/FTCS.1989.105590"},{"key":"13_CR7","unstructured":"Test Technology Technical Committee of the IEEE Computer Society, IEEE standard test access port and boundary-scan architecture, USA 1990."},{"key":"13_CR8","unstructured":"R. K. Iyer, \u201cExperimental Evaluation\u201d, in Special Issue of Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), Pasadena, CA, USA, 1995."},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/12.2145","volume":"37","author":"M. A","year":"1988","unstructured":"Mahmood A., et al, \u201cConcurrent Error Detection Using Watchdog Processors-A Survey\u201d, Transactions on Computers, vol. 37, No. 2, February 1988, pp. 160\u2013174.","journal-title":"Transactions on Computers"},{"key":"13_CR10","unstructured":"Saab Ericsson Space AB, Microprocessor Thor, Product Information, September 1993."},{"key":"13_CR11","unstructured":"Saab Ericsson Space AB, Workstation Board Specification, Doc. no. TOR\/TNOT\/0015\/SE, February 1993."}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T01:05:51Z","timestamp":1551056751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48254-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664833","9783540482543"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48254-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}