{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:19:50Z","timestamp":1725495590484},"publisher-location":"Berlin, Heidelberg","reference-count":72,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563204"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-56320-2_51","type":"book-chapter","created":{"date-parts":[[2007,11,19]],"date-time":"2007-11-19T10:53:33Z","timestamp":1195469613000},"page":"21-50","source":"Crossref","is-referenced-by-count":1,"title":["System dependability"],"prefix":"10.1007","author":[{"given":"Brian","family":"Randell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"J. Arlat. Dependability Validation by means of Fault Injection \u2014 Method, Implementation, Application. National Polytechnic Institute, Toulouse, France, 1990. Also published as LAAS Report RR 90-399 (in French)"},{"key":"3_CR2","first-page":"166","volume":"16","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Agucra, L. Amat, Y. Crouzet, J.C. Fabre, J.C. Laprie, E. Martins and D. Powell, \u201cFault Injection for Dependability Validation \u2014 A Methodology and Some Applications,\u201d IEEE Trans. Software Eng., Special Section on Experimental Computer Science, vol. 16, pp.166\u2013182, 1990.","journal-title":"IEEE Trans. Software Eng., Special Section on Experimental Computer Science"},{"issue":"no.4","key":"3_CR3","first-page":"455","volume":"39","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Aguera, Y. Crouzet, J.C. Fabre, E. Martins and D. Powell, \u201cExperimental Evaluation of the Fault Tolerance of an Atomic Multicast Protocol,\u201d IEEE Trans Reliability, Special Issue on Experimental Evaluation of Computer Reliability, vol. 39, no. 4, pp.455\u2013467, 1990.","journal-title":"IEEE Trans Reliability, Special Issue on Experimental Evaluation of Computer Reliability"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"J. Arlat, Y. Crouzet and J.C. Laprie. \u201cFault-Injection for Dependability Validation of Fault-Tolerant Computing Systems,\u201d in Proc. 19th IEEE Int. Symp. Fault-Tolerant Computing (FTCS-19), pp. 348\u2013355, Chicago, IL, USA, 1989.","DOI":"10.1109\/FTCS.1989.105591"},{"key":"3_CR5","unstructured":"J. Arlat, Y. Crouzet and J.C. Laprie. \u201cFault-Injection for the Experimental Validation of Fault Tolerance,\u201d in Second Year Report, Volume 3, Chapter 1, Section III, PDCS, 1991. (To appear in Proc. Esprit Conference, (CEC-DGXIII), Brussels, Belgium, November 25\u201329, 1991.)"},{"issue":"no.6","key":"3_CR6","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TSE.1985.232247","volume":"SE-11","author":"O. Babaoglu","year":"1985","unstructured":"O. Babaoglu, \u201cStreets of Byzantium: Network architectures for fast reliable broadcasts,\u201d IEEE Trans. on Software Engineering, vol. SE-11, no. 6, pp.546\u2013554, 1985.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"O. Babaoglu, L. Alivisi, A. Amoroso and R. Davoli. \u201cParalex: An Environment for Reliable Parallel Programming in Distributed Systems,\u201d in PDCS 2nd year Report, PDCS, 1991.","DOI":"10.1145\/143369.143406"},{"key":"3_CR8","first-page":"82","volume-title":"Proc. of the ICCL","author":"E.H. Bal","year":"1988","unstructured":"E.H. Bal and A.S. Tanenbaum. \u201cDistributed programming with shared data,\u201d in Proc. of the ICCL, pp. 82\u201391, Miami, FL, IEEE, Computer Society Press, 1988."},{"key":"3_CR9","isbn-type":"print","first-page":"97","volume-title":"Proc. of the European Symposium in Computer Security (ESORICS 90)","author":"L. Blain","year":"1990","unstructured":"L. Blain and Y. Deswarte. \u201cAn intrusion-tolerant security server for an open distributed system,\u201d in Proc. of the European Symposium in Computer Security (ESORICS 90), pp. 97\u2013104, Toulouse (France), AFCET, ISBN 2-90367-708-9, 1990.","ISBN":"http:\/\/id.crossref.org\/isbn\/2903677089"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/FTDCS.1990.138293","volume-title":"Proc. 2nd Workshop on Future Trends of Distributed Computing Systems in the 90s","author":"A. Bondavalli","year":"1990","unstructured":"A. Bondavalli and L. Simoncini. \u201cFailure classification with respect to detection,\u201d in Proc. 2nd Workshop on Future Trends of Distributed Computing Systems in the 90s, pp. 47\u201353, Cairo, IEEE, 1990."},{"key":"3_CR11","unstructured":"S. Brocklehurst. A Non-Parametric Approach to Software Reliability Modelling, PDCS Technical Report No. 4, PDCS, 1989."},{"key":"3_CR12","unstructured":"S. Brocklehurst. A Multi-Model Approach to the Analysis of Software Failure Data, PDCS, 1992. (in preparation)"},{"issue":"no.4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/32.54297","volume":"16","author":"S. Brocklehurst","year":"1990","unstructured":"S. Brocklehurst, P.Y. Chan, B. Littlewood and J. Snell, \u201cRecalibrating Software Reliability Models,\u201d IEEE Transactions on Software Engineering, vol. 16, no. 4, pp.458\u2013470, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"A. Burns, J.A. McDermid and J.E. Dobson, \u201cOn the Meaning of Safety and Security,\u201d Computer Journal, vol. 34, no. 1,1992.","DOI":"10.1093\/comjnl\/35.1.3"},{"key":"3_CR15","unstructured":"W.C. Carter. \u201cA Time for Reflection,\u201d in Proc. 12th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-12), pp. 41, Santa Monica, CA, 1982."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"R. Chakka and I. Mitrani. \u201cMultiprocessor Systems with General Breakdowns and Repairs,\u201d in Proc. Sigmetrics \u2014 Performance '92, Newport, RI, 1992.","DOI":"10.1145\/133057.133143"},{"key":"3_CR17","unstructured":"C.-K. Cho. Quality Programming: Developing and Testing Software with Statistical Quality Control, John Wiley and Sons, Inc., 1987."},{"issue":"no.4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1145\/1634.1637","volume":"31","author":"P.-J. Courtois","year":"1984","unstructured":"P.-J. Courtois and P. Semal, \u201cBounds for the Positive Eigenvectors of Non-Negative Matrices and for their Approximations by Decomposition,\u201d J. ACM, vol. 31, no. 4, pp.804\u2013825, 1984.","journal-title":"J. ACM"},{"issue":"no.6","key":"3_CR19","first-page":"926","volume":"4","author":"P.-J. Courtois","year":"1986","unstructured":"P.-J. Courtois and P. Semal, \u201cComputable Bounds for Conditional Steady-State Probabilities in Large Markov Chains and Queueing Models,\u201d IEEE Trans SAC, vol. 4, no. 6, pp.926\u2013937, 1986.","journal-title":"IEEE Trans SAC"},{"key":"3_CR20","unstructured":"P.-J. Courtois and P. Semal. \u201cBounds for Transient Characteristics of Markov Chains with Large State Spaces,\u201d in Proc. First Int. Conf. on Numerical Solutions of Markov Chains, Raleigh, NC, USA, 1990."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"F. Cristian. \u201cAgreeing on Who is Present and Who is Absent in a Synchronous Distributed System,\u201d in Proc. IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-18), pp. 206\u2013211, Tokyo, Japan, 1988.","DOI":"10.1109\/FTCS.1988.5321"},{"key":"3_CR22","unstructured":"F. Cristian, H. Aghili, R. Strong and D. Dolev. \u201cAtomic Broadcast: From simple message diffusion to Byzantine agreement,\u201d in Proc. 15th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-15), pp. 200\u2013206, Ann Arbor, Michigan, 1985."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Y. Deswarte, L. Blain and J.C. Fabre. \u201cIntrusion Tolerance in Distributed Computing Systems,\u201d in Proc. 1991 IEEE Symposium on Research in Security and Privacy, Oakland, California, 1991.","DOI":"10.1109\/RISP.1991.130780"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/RELDIS.1990.93957","volume-title":"Proc. 9th Symposium of Reliable Distributed Systems","author":"F. Giandomenico Di","year":"1990","unstructured":"F. Di Giandomenico and L. Strigini. \u201cAdjudicators for Diverse-Redundant Components,\u201d in Proc. 9th Symposium of Reliable Distributed Systems, pp. 114\u2013123, Huntsville, Alabama, IEEE, 1990."},{"key":"3_CR25","unstructured":"J.E. Dobson and J.A. McDermid. An Investigation into Modelling and Categorisation of Non-Functional Requirements, YCS 141, University of York, 1990."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"K. Echtle and Y. Chen. \u201cEvaluation of Deterministic Fault Injection for Fault Tolerant Protocol Testing,\u201d in Proc. 21st IEEE Int. Symp. Fault-Tolerant Computing (FTCS-21), pp. 418\u2013425, Montr\u00e9al, Quebec, Canada, 1991.","DOI":"10.1109\/FTCS.1991.146695"},{"issue":"no.4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1109\/71.80173","volume":"1","author":"P. Ezhilchelvan","year":"1990","unstructured":"P. Ezhilchelvan, I. Mitrani and S.K. Shrivastava, \u201cA Performance Evaluation Study of Pipeline TMR Systems,\u201d IEEE Transactions on Parallel and Distributed Systems, vol. 1, no. 4, pp.442\u2013456, 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"J.C. Fabre and B. Randell. \u201cAn Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems,\u201d in Proc. ESORICS'92, Toulouse, 1992.","DOI":"10.1007\/BFb0013899"},{"key":"3_CR29","first-page":"194","volume-title":"Proc. IEEE Symp. on Security and Privacy","author":"J.-M. Fray","year":"1986","unstructured":"J.-M. Fray, Y. Deswarte and D. Powell. \u201cIntrusion Tolerance Using Fine-Grain Fragmentation-Scattering,\u201d in Proc. IEEE Symp. on Security and Privacy, pp. 194\u2013201, Oakland CA, USA, IEEE, 1986."},{"key":"3_CR30","unstructured":"J.M. Fray and J.C. Fabre. \u201cFragmented Data Processing: an Approach to Secure and Reliable Processing in Distributed Computing Systems,\u201d in Proc. 1st IFIP Int. Working Conf. on Dependable Computing for Critical Applications, pp. 131\u2013137, Santa Barbara, California, 1989."},{"key":"3_CR31","unstructured":"M. Gaschignard and M.C. Gaudel. \u201cDiversification from Algebraic Specification,\u201d in PDCS Project First Year Report, ESPRIT Project 3092, 1990."},{"key":"3_CR32","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 IEEE Int. Symp. Fault-Tolerant Computing, pp. 340\u2013347, Chicago, IL, 1989.","DOI":"10.1109\/FTCS.1989.105590"},{"key":"3_CR33","unstructured":"A. Jassim, B. Littlewood, P. Mellor and D. Lazenby. Random testing compared with structural testing, City University, 1990."},{"key":"3_CR34","unstructured":"K. Kanoun, M. Kaaniche, C. Beounes, J.C. Laprie and J. Arlat. \u201cReliability Growth of Fault-Tolerant Software,\u201d in PDCS 2nd year Report, 2 Chapter 2 Part 3, PDCS, 1991."},{"issue":"no.9","key":"3_CR35","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"E. Kligerman and A. Sloyenko, \u201cReal-Time Euclid: A Language for Reliable Real-Time Systems,\u201d IEEE Trans. on Software Engineering, vol. SE-12, no. 9, pp. 941\u2013949, 1986.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR36","unstructured":"Y. Koga, E. Fukushima and K. Yoshihara. \u201cError recoverable and securable data communication for computer network,\u201d in Proc. 12th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-12), pp. 183\u2013186, Santa Monica, 1982."},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"H. Kopetz, G. Gr\u00fcnsleidl and J. Reisinger. \u201cFault-Tolerant Membership Service in a Synchronous Distributed Real-Time System,\u201d in Dependable Computing for Critical Applications, ed. A. Avizienis and J. C. Laprie, pp.411\u2013429, Springer-Verlag, 1991.","DOI":"10.1007\/978-3-7091-9123-1_19"},{"key":"3_CR38","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/RELDIS.1990.93962","volume-title":"Proc. 9th Symposium on Reliable Distributed Systems","author":"H. Kopetz","year":"1990","unstructured":"H. Kopetz and K. Kim. \u201cTemporal Uncertainties in Interactions among Real-Time Objects,\u201d in Proc. 9th Symposium on Reliable Distributed Systems, pp. 165\u2013174, Huntsville, AL, USA, IEEE Computer Society Press, 1990."},{"volume-title":"Dependability: basic concepts and terminology \u2014 in English, French, German, German and Japanese","year":"1992","key":"3_CR39","unstructured":"J.C. Laprie, (Ed.). Dependability: basic concepts and terminology \u2014 in English, French, German, German and Japanese, Vienna, Springer-Verlag, 1992, 265p. p."},{"issue":"no.7","key":"3_CR40","first-page":"39","volume":"23","author":"J.C. Laprie","year":"1990","unstructured":"J.C. Laprie, J. Arlat, C. Beounes and K. Kanoun, \u201cDefinition and Analysis of Hardware-and-Software Fault-Tolerant Architectures,\u201d IEEE Computer (Special Issue on Fault Tolerant Systems), vol. 23, no. 7, pp.39\u201351, 1990.","journal-title":"IEEE Computer (Special Issue on Fault Tolerant Systems)"},{"key":"3_CR41","unstructured":"J.C. Laprie and K. Kanoun. \u201cX-ware Dependability Modelling and Evaluation,\u201d in PDCS 2nd year Report, 2 Chapter 2 Part 1, PDCS, 1991."},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"J.C. Laprie, K. Kanoun, C. Beounes and M. Kaaniche, \u201cThe KAT \u2014 Knowledge-Action-Transformation \u2014 Approach to the Modeling and Evaluation of Reliability and Availability Growth,\u201d IEEE Trans. on Software Engineering, no. April,1991.","DOI":"10.1109\/32.90436"},{"key":"3_CR43","unstructured":"J.C. Laprie and B. Littlewood. \u201cQuantitative Assessment of Safety-Critical Software: Why and How?,\u201d in Int. Conf. on Probabilistic Safety Assessment and Management, Beverley Hills, 1991. (Presented, but not in Proceedings.)"},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"B. Littlewood. \u201cModelling growth in software reliability,\u201d in Software Reliability Handbook, ed. P. Rook, 1990.","DOI":"10.1007\/978-94-011-3482-8_6"},{"key":"3_CR45","unstructured":"B. Littlewood, S. Brocklehurst, N.E. Fenton, P. Mellor, S. Page, D. Wright, J.E. Dobson, J.A. McDermid and D. Gollman. Towards Operational Measures for Computer Security, Second Year Report, Volume 3, PDCS Project, 1991."},{"key":"3_CR46","unstructured":"B. Littlewood and L. Strigini. \u201cValidating Ultra-High Dependability for Software-Based Systems,\u201d in PDCS 2nd year Report, PDCS, 1991."},{"key":"3_CR47","unstructured":"C. Liu. \u201cA General Framework for Software Fault Tolerance,\u201d in PDCS 2nd year Report, PDCS, 1991."},{"key":"3_CR48","volume-title":"Research Report 1404","author":"M. Makpangou","year":"1991","unstructured":"M. Makpangou, Y. Gourhant, J.-P.L. Narzul and M. Shapiro. Structuring Distributed Applications as Fragmented Objects, Research Report 1404, INRIA, Rocquencourt, France, 1991."},{"issue":"no.2","key":"3_CR49","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/24686.24694","volume":"22","author":"B. Meyer","year":"1987","unstructured":"B. Meyer, \u201cEiffel: Programming for Reusability and Extendibility,\u201d ACM SIGPLAN, vol. 22, no. 2, pp.85\u201394, 1987.","journal-title":"ACM SIGPLAN"},{"key":"3_CR50","first-page":"135","volume-title":"Software Certification","author":"D.R. Miller","year":"1989","unstructured":"D.R. Miller. \u201cThe Role of Statistical Modeling and Inference in Software Quality Assurance,\u201d in Software Certification, ed. B. d. Neumann, pp.135\u2013152, Elsevier Applied Sciences, UK, 1989."},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"D. Mitra and I. Mitrani. \u201cAsymptotic Optimality of the Go-Back-n Protocol in High Speed Data Networks with Small Buffers,\u201d in Proc. 4th Int. Conf. on Data Communication Systems and Their Performance, Barcelona, 1990.","DOI":"10.1016\/B978-0-444-88756-6.50009-8"},{"issue":"no.6","key":"3_CR52","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1145\/78973.78974","volume":"33","author":"D.L. Parnas","year":"1990","unstructured":"D.L. Parnas, A.J.v. Schouwen and S.P. Kwan, \u201cEvaluation of Safety-Critical Software,\u201d Communications of the ACM, vol. 33, no. 6, pp.636\u2013648, 1990.","journal-title":"Communications of the ACM"},{"key":"3_CR53","doi-asserted-by":"crossref","unstructured":"D. Powell. \u201cDelta4: A Generic Architecture for Dependable Distributed Computing,\u201d in Research Reports ESPRIT (Vol. 1), Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84696-0"},{"issue":"no.2","key":"3_CR54","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and C. Koza, \u201cCalculating the Maximum Execution Time of Real-Time Programs,\u201d Real-Time Systems, vol. 1, no. 2, pp.159\u2013176, 1989.","journal-title":"Real-Time Systems"},{"issue":"no.2","key":"3_CR55","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/62044.62050","volume":"36","author":"M.O. Rabin","year":"1989","unstructured":"M.O. Rabin, \u201cEfficient Dispersal of Information for Security, Load Balancing and Fault-Tolerance,\u201d Journal of the ACM, vol. 36, no. 2, pp.335\u2013348, 1989.","journal-title":"Journal of the ACM"},{"key":"3_CR56","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1109\/IWOOOS.1991.183046","volume-title":"Proc. Int. Workshop on Object-Orientation in Operating Systems","author":"B. Randell","year":"1991","unstructured":"B. Randell and J.C. Fabre. \u201cFault and Intrusion Tolerance in Object-Oriented Systems,\u201d in Proc. Int. Workshop on Object-Orientation in Operating Systems, pp. 180\u2013184, Palo Alto, CA, IEEE Technical Committee on Operating Systems and Application Environments (TCOS), 1991."},{"key":"3_CR57","volume-title":"Research Report N\u221891.114 (Also TR 337, Computing Laboratory, University of Newcastle upon Tyne, 1991.)","author":"B. Randell","year":"1991","unstructured":"B. Randell and J.C. Fabre. FDP techniques in Object-Oriented Systems, Research Report N\u221891.114 (Also TR 337, Computing Laboratory, University of Newcastle upon Tyne, 1991.), LAAS, Toulouse, France, 1991."},{"key":"3_CR58","first-page":"455","volume-title":"Proc. of the European Telematics Conference (EUTECO-88) on Research into Networks and distributed Applications","author":"P.G. Ran\u00e9a","year":"1988","unstructured":"P.G. Ran\u00e9a, Y. Deswarte, J.M. Fray and D. Powell. \u201cThe Security Approach in DELTA-4,\u201d in Proc. of the European Telematics Conference (EUTECO-88) on Research into Networks and distributed Applications, pp. 455\u2013466, Vienna, Austria, North-Holland, 1988."},{"key":"3_CR59","first-page":"51","volume-title":"Proc. 1990 European Simulation Multiconference","author":"W. Sch\u00fctz","year":"1990","unstructured":"W. Sch\u00fctz. \u201cReal-Time Simulation in the Distributed Real-Time System MARS,\u201d in Proc. 1990 European Simulation Multiconference, pp. 51\u201357, Nuremberg, Germany, The Society for Computer Simulation International, 1990."},{"issue":"no.11","key":"3_CR60","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1145\/359168.359176","volume":"22","author":"A. Shamir","year":"1979","unstructured":"A. Shamir, \u201cHow to Share a Secret,\u201d Comm. ACM, vol. 22, no. 11, pp.612\u2013613, 1979.","journal-title":"Comm. ACM"},{"issue":"no.4","key":"3_CR61","first-page":"287","volume":"2","author":"M. Shapiro","year":"1989","unstructured":"M. Shapiro, Y. Gourhant, S. Halbert, L. Mosseri, M. Ruffin and C. Valot, \u201cSOS: An Object-Oriented Operating System \u2014 Assessment and perspectives,\u201d Computing Systems, vol. 2, no. 4, pp.287\u2013338, 1989.","journal-title":"Computing Systems"},{"key":"3_CR62","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/32.29487","volume":"SE-15","author":"A.C. Shaw","year":"1989","unstructured":"A.C. Shaw, \u201cReasoning About Time in Higher-Level Language Software,\u201d IEEE Trans. on Software Engineering, vol. SE-15, pp.875\u2013889, 1989.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"no.1","key":"3_CR63","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.62934","volume":"8","author":"S.K. Shrivastava","year":"1991","unstructured":"S.K. Shrivastava, G.N. Dixon and G.D. Parrington, \u201cAn Overview of the Arjuna Distributed Programming System,\u201d IEEE Software, vol. 8, no. 1, pp.66\u201373, 1991.","journal-title":"IEEE Software"},{"key":"3_CR64","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/RELDIS.1991.145409","volume-title":"Proc. 10th Symposium on Reliable Distributed Systems","author":"L. Strigini","year":"1991","unstructured":"L. Strigini and F. Di Giandomenico. \u201cFlexible schemes for application-level fault tolerance,\u201d in Proc. 10th Symposium on Reliable Distributed Systems, pp. 86\u201395, Pisa, Italy, IEEE, 1991."},{"key":"3_CR65","first-page":"23","volume-title":"Proc. 1st Int. Working Conference on Dependable Computing for Critical Applications","author":"P. Th\u00e9venod-Fosse","year":"1989","unstructured":"P. Th\u00e9venod-Fosse. \u201cSoftware validation by means of statistical testing: retrospect and future direction,\u201d in Proc. 1st Int. Working Conference on Dependable Computing for Critical Applications., pp. 23\u201350, Santa Barbara, USA, Springer-Verlag, 1989. (Dependable Computing and Fault-Tolerant Systems.Vol. 4, 1991.)"},{"key":"3_CR66","first-page":"29","volume-title":"Proc. IFIP Working Conference on Approving Software Products","author":"P. Th\u00e9venod-Fosse","year":"1990","unstructured":"P. Th\u00e9venod-Fosse. \u201cOn the Efficiency of Statistical Testing with respect to Software Structural Test Criteria,\u201d in Proc. IFIP Working Conference on Approving Software Products, pp. 29\u201342, Garmisch-Partenkirchen, FRG, North Holland, 1990."},{"key":"3_CR67","volume-title":"PDCS Report No. 28","author":"P. Th\u00e9venod-Fosse","year":"1990","unstructured":"P. Th\u00e9venod-Fosse and H. Waeselynck. On Software Dependability Evaluation from a Statistical Testing Approach, 90.235, LAAS, Toulouse, France, 1990. PDCS Report No. 28"},{"issue":"no.2","key":"3_CR68","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/stvr.4370010203","volume":"1","author":"P. Th\u00e9venod-Fosse","year":"1991","unstructured":"P. Th\u00e9venod-Fosse and H. Waeselynck, \u201cAn Investigation of Statistical Software Testing,\u201d J. of Software Testing, Verification and Reliability, vol. 1, no. 2, pp.5\u201325, 1991. (PDCS Report No. 46)","journal-title":"J. of Software Testing, Verification and Reliability"},{"key":"3_CR69","doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck and Y. Crouzet. \u201cAn Experimental Study on Software Structural Testing: Deterministic versus random input generation,\u201d in Proc. 21st IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-21), Montreal, 1991.","DOI":"10.1109\/FTCS.1991.146694"},{"key":"3_CR70","unstructured":"G. Trouessin, J.C. Fabre and Y. Deswarte. \u201cReliable Processing of Confidential Information,\u201d in Proc. of the 7th Int. Conf. on Computer Security, IFIP\/SEC'91, Brighton, UK, 1991."},{"key":"3_CR71","unstructured":"A. Vrchoticky and P. Puschner. \u201cOn the Feasibility of Response Time Predictions An Experimental Evaluation,\u201d in Second Year Report, 2, PDCS, 1991."},{"key":"3_CR72","unstructured":"J. Xu. \u201cFault Tolerance Based on System Diagnosis Techniques,\u201d in PDCS Project Second Year Report, ESPRIT Project 3092, 1991."}],"container-title":["Lecture Notes in Computer Science","Future Tendencies in Computer Science, Control and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56320-2_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T20:48:13Z","timestamp":1684097293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56320-2_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540563204"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/3-540-56320-2_51","relation":{},"subject":[]}}