An Experimental Evaluation Of The Assumption Of Independence In Multi-Version Programming * (1986)

Cached

Download Links

by John C. Knight , Nancy G. Leveson
Venue:IEEE Transactions on Software Engineering
Citations:227 - 10 self

Documents Related by Co-Citation

235 The N-version approach to fault-tolerant software – A Avizienis - 1985
17 Software reliability: repetitive run experimentation and modelling – P M Nagel, J A Skrivan - 1981
39 FaultTolerant Software Reliability Modeling – R Keith Scott, James W Gault, David F McAllister - 1987
8 Adaptive software reliability modelling – P A, B Littlewood - 1984
9 On the Use and the Performance of Software Reliability Growth Models", Software Reliability and Safety – Peter A Keiller, Douglas R Miller - 1991
9 Stochastic reliability-growth : a model for fault-removal in computer programs and hardware designs – B Littlewood - 1981
4 Evaluation of competing reliability predictions – A A Abdalla-Ghaly, P Y Chan, a B L - 1986
23 An Empirical Comparison of Software Fault Tolerance and Fault Elimination – Timothy J Shimeall, Nancy G Leveson - 1988
13 Software safety: What, why, and how – N G Leveson - 1986
102 Conceptual modelling of coincident failures in multiversion software – B Littlewood, D Miller - 1989
58 Analysis of Faults in an N-Version Software Experiment – Susan S. Brilliant, John C. Knight, Nancy G - 1990
30 A reply to the criticisms of the Knight & Leveson experiment – J C Knight, N G Leveson - 1990
148 On the implementation of N-version programming for software fault tolerance during execution – A Avizienis, L Chen - 1977
794 Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial – Fred B. Schneider, Fred B. Schneider - 1990
314 Model Checking Java Programs Using Java PathFinder – Klaus Havelund, Thomas Pressburger - 1998
68 Random Testing – Richard Hamlet - 1994
10 Making statistical inferences about software reliability. NASA Contractor Report 4197 – D Miller - 1988
2 A digital matter of life and death – I Peterson - 1988
53 Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies – Adam A. Porter, Philip M. Johnson - 1997