|
215
|
The N-Version Approach to Fault-Tolerant Software
– A Avizienis
- 1985
|
|
35
|
F.: Fault-Tolerant Software Reliability Modeling
– R Keith Scott, James W Gault, David McAllister
- 1987
|
|
55
|
Analysis of Faults in an N-Version Software Experiment
– Susan S. Brilliant, John C. Knight, Nancy G
- 1990
|
|
17
|
Software reliability: repetitive run experimentation and modelling
– P M Nagel, J A Skrivan
- 1981
|
|
4
|
Evaluation of competing reliability predictions
– A A Abdalla-Ghaly, P Y Chan, a B L
- 1986
|
|
8
|
On the use and the performance of software reliability growth models. Reliability Engineering and System Safety
– P A Keiller, D R Miller
- 1991
|
|
7
|
Stochastic reliability-growth: A model for fault-removal in computer programs and hardware designs
– B Littlewood
- 1981
|
|
23
|
An Empirical Comparison of Software Fault Tolerance and Fault Elimination
– Timothy J Shimeall, Nancy G Leveson
- 1988
|
|
8
|
Adaptive software reliability modelling
– P A, B Littlewood
- 1984
|
|
13
|
Software safety: What, why, and how
– N G Leveson
- 1986
|
|
73
|
A theoretical basis for the analysis of multiversion software subject to coincident errors
– D E Eckhardt, L D Lee
- 1985
|
|
92
|
Conceptual modeling of coincident failures in multiversion software
– B, D R Miller
- 1989
|
|
27
|
G.: A Reply To the Criticisms Of The Knight & Leveson Experi
– C, Nancy Leveson
- 1990
|
|
130
|
On the implementation of nversion programming for software fault tolerance during execution
– A Avizienis, L Chen
- 1977
|
|
716
|
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
– Fred B. Schneider, Fred B. Schneider
- 1990
|
|
276
|
Model Checking Java Programs Using Java PathFinder
– Klaus Havelund, Thomas Pressburger
- 1998
|
|
48
|
Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies
– Adam A. Porter, Philip M. Johnson
- 1997
|
|
72
|
Experimental Evaluation in Computer Science: A Quantitative Study
– Walter F. Tichy, Paul Lukowicz, Lutz Prechelt, Ernst A. Heinz
- 1995
|
|
10
|
Making statistical inferences about software reliability. NASA Contractor Report 4197
– D Miller
- 1988
|
