{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:07Z","timestamp":1725664987449},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617723"},{"type":"electronic","value":"9783540706779"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61772-8_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:23:34Z","timestamp":1330295014000},"page":"35-54","source":"Crossref","is-referenced-by-count":4,"title":["On stratified sampling for high coverage estimations"],"prefix":"10.1007","author":[{"given":"David","family":"Powell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Cukier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Arlat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/T-C.1973.223703","volume":"C-22","author":"T. F. Arnold","year":"1973","unstructured":"T. F. Arnold, \u201cThe Concept of Coverage and its Effect on the Reliability Model of Repairable Systems,\u201d IEEE Trans. on Computers, vol. C-22, pp. 251\u2013254, 1973.","journal-title":"IEEE Trans. on Computers"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"W. G. Bouricius, W. C. Carter, and P. R. Schneider, \u201cReliability Modeling Techniques for Self-Repairing Computer Systems\u201d, Proc. 24th National Conference, pp. 295\u2013309, ACM, 1969.","DOI":"10.1145\/800195.805940"},{"key":"3_CR3","first-page":"102","volume-title":"FIAT \u2014 Fault Injection based Automated Testing Environment","author":"Z. Segall","year":"1988","unstructured":"Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki, J. Barton, D. Rancey, A. Robinson, and T. Lin, \u201cFIAT \u2014 Fault Injection based Automated Testing Environment\u201d, Proc. 18th Int. Symp. on Fault-Tolerant Computing (FTCS-18), pp. 102\u2013107, Tokyo, Japan, IEEE Computer Society Press, 1988."},{"key":"3_CR4","first-page":"171","volume-title":"Dependable Computing for Critical Applications","author":"G. S. Choi","year":"1991","unstructured":"G. S. Choi, R. K. Iyer, R. Saleh, and V. Carreno, \u201cA Fault Behavior Model for an Avionic Microprocessor: a Case Study,\u201d in Dependable Computing for Critical Applications, A. Avizienis and J.-C. Laprie, Eds. Vienna, Austria: Springer-Verlag, 1991, pp. 171\u2013195."},{"key":"3_CR5","first-page":"356","volume-title":"Understanding Large System Failures \u2014 A Fault Injection Experiment","author":"R. Chillarege","year":"1989","unstructured":"R. Chillarege and N. S. Bowen, \u201cUnderstanding Large System Failures \u2014 A Fault Injection Experiment\u201d, Proc. 19th Int. Symp. on Fault-Tolerant Computing (FTCS-19), pp. 356\u2013363, Chicago, MI, USA, IEEE Computer Society Press, 1989."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/12.238482","volume":"42","author":"J. Arlat","year":"1993","unstructured":"J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, and D. Powell, \u201cFault Injection and Dependability Evaluation of Fault-Tolerant Systems,\u201d IEEE Trans. on Computers, vol. 42, pp. 913\u2013923, 1993.","journal-title":"IEEE Trans. on Computers"},{"key":"3_CR7","first-page":"340","volume-title":"Evaluation of Error Detection Schemes using Fault Injection by Heavy-ion Radiation","author":"U. Gunneflo","year":"1989","unstructured":"U. Gunneflo, J. Karlsson, and J. Torin, \u201cEvaluation of Error Detection Schemes using Fault Injection by Heavy-ion Radiation\u201d, Proc. 19th Int. Symp. Fault-Tolerant Computing (FTCS-19), pp. 340\u2013347, Chicago, MI, USA, IEEE Computer Society Press, 1989."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1109\/24.58727","volume":"39","author":"C. J. Walter","year":"1990","unstructured":"C. J. Walter, \u201cEvaluation and Design of an Ultra-Reliable Distributed Architecture for Fault Tolerance,\u201d IEEE Trans. on Reliability, vol. 39, pp. 492\u2013499, 1990.","journal-title":"IEEE Trans. on Reliability"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1109\/12.364536","volume":"44","author":"G. A. Kanawati","year":"1995","unstructured":"G. A. Kanawati, N. A. Kanawati, and J. A. Abraham, \u201cFERRARI: A Flexible Software-Based Fault and Error Injection System,\u201d IEEE Trans. on Computers, vol. 44, pp. 248\u2013260, 1995.","journal-title":"IEEE Trans. on Computers"},{"key":"3_CR10","first-page":"189","volume":"V","author":"V. D. Agrawal","year":"1981","unstructured":"V. D. Agrawal, \u201cSampling Techniques for Determining Fault Coverage in LSI Circuits,\u201d Journal of Digital Systems, vol. V, pp. 189\u2013201, 1981.","journal-title":"Journal of Digital Systems"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00133503","volume":"2","author":"W. Daehn","year":"1991","unstructured":"W. Daehn, \u201cFault Simulation using Small Fault Samples,\u201d Journal of Electronic Testing: Theory and Applications, vol. 2, pp. 191\u2013203, 1991.","journal-title":"Journal of Electronic Testing: Theory and Applications"},{"key":"3_CR12","first-page":"228","volume-title":"Estimators for Fault Tolerance Coverage Evaluation","author":"D. Powell","year":"1993","unstructured":"D. Powell, E. Martins, J. Arlat, and Y. Crouzet, \u201cEstimators for Fault Tolerance Coverage Evaluation\u201d, Proc. 23rd Int. Conf. on Fault-Tolerant Computing (FTCS-23), pp. 228\u2013237, Toulouse, France, IEEE Computer Society Press, 1993. (An extended version of this paper appears in IEEE Trans. Computers, 44 (2), pp.261\u2013274, 1995)."},{"key":"3_CR13","first-page":"330","volume-title":"The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage","author":"W. Wang","year":"1994","unstructured":"W. Wang, K. S. Trivedi, B. V. Shah, and J. A. Profeta III, \u201cThe Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage\u201d, Proc. 24th Int. Conf. on Fault-Tolerant Computing (FTCS-24), pp. 330\u2013337, Austin, TX, USA, IEEE Computer Society Press, 1994."},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/24.475993","volume":"44","author":"C. Constantinescu","year":"1995","unstructured":"C. Constantinescu, \u201cUsing Multi-Stage & Stratified Sampling for Inferring Fault-Coverage Probabilities,\u201d IEEE Trans. Reliability, vol. 44, pp. 632\u2013639, 1995.","journal-title":"IEEE Trans. Reliability"},{"key":"3_CR15","unstructured":"D. P. Siewiorek and R. S. Swarz, The Theory and Practice of Reliable System Design: Digital Press, 1982."},{"key":"3_CR16","first-page":"131","volume-title":"RMS: A Reliability Modeling System for Self-Repairing Computers","author":"D. A. Rennels","year":"1973","unstructured":"D. A. Rennels and A. Avizienis, \u201cRMS: A Reliability Modeling System for Self-Repairing Computers\u201d, Proc. 3rd Int. Symp. on Fault-Tolerant Computing (FTCS-3), pp. 131\u2013135, Palo Alto, CA, USA, IEEE Computer Society Press, 1973."},{"key":"3_CR17","volume-title":"Distributions in Statistics \u2014 Discrete Distributions","author":"N. L. Johnson","year":"1969","unstructured":"N. L. Johnson and S. Kotz, Distributions in Statistics \u2014 Discrete Distributions. New York: John Wiley & Sons, 1969."},{"key":"3_CR18","volume-title":"Estimation of the Coverage of Fault-Tolerant Systems","author":"M. Cukier","year":"1996","unstructured":"M. Cukier, \u201cEstimation of the Coverage of Fault-Tolerant Systems,\u201d National Polytechnic Intitute, Toulouse, France, 1996. (in French)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61772-8_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:27Z","timestamp":1619573787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61772-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617723","9783540706779"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61772-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}