-
2
-
-
0022252695
-
The n-version approach to fault-tolerant software
-
A. Avižienis The n-version approach to fault-tolerant software IEEE Transactions on Software Engineering SE-11 12 1491 1501 December 1985
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.12
, pp. 1491-1501
-
-
Avižienis, A.1
-
3
-
-
84916516522
-
The infeasibility of experimental quantification of life-critical software reliability
-
Louisana
-
R. Butler G. Finelli The infeasibility of experimental quantification of life-critical software reliability ACM SIGSOFT'91 Conference on Software for Critical Systems 66 76 ACM SIGSOFT'91 Conference on Software for Critical Systems New Orleans Louisana 1991-December
-
(1991)
, pp. 66-76
-
-
Butler, R.1
Finelli, G.2
-
5
-
-
85176688386
-
TERSE: A tool for evaluating software reliability estimation
-
M. H. Chen M. K. Jones A. R Mathur V. J. Rego TERSE: A tool for evaluating software reliability estimation Proceedings of fourth International Symposium on software reliability engineering Proceedings of fourth International Symposium on software reliability engineering 1993
-
(1993)
-
-
Chen, M.H.1
Jones, M.K.2
Mathur, A.R3
Rego, V.J.4
-
6
-
-
85176680708
-
An emperical study of the correlation between code coverage and reliability estimation
-
M. H. Chen M. R. Lyu W. E. Wong An emperical study of the correlation between code coverage and reliability estimation IEEE Third International Symposium on Software Metrics IEEE Third International Symposium on Software Metrics Berlin Germany 1996-March
-
(1996)
-
-
Chen, M.H.1
Lyu, M.R.2
Wong, W.E.3
-
7
-
-
0029272075
-
Effect of testing techniques on software reliability estimates obtained using time-domain models
-
M. H. Chen A. P. Mathur V. J. Rego Effect of testing techniques on software reliability estimates obtained using time-domain models IEEE transactions on reliability 44 1 March 1995
-
(1995)
IEEE transactions on reliability
, vol.44
, Issue.1
-
-
Chen, M.H.1
Mathur, A.P.2
Rego, V.J.3
-
8
-
-
0004287856
-
Software Testing and Evaluation
-
The Benjamin/Cummings Publishing Company CA, Menlo Park
-
R. DeMillo W. McCracken R. Martin J. Passafiume Software Testing and Evaluation 1987 The Benjamin/Cummings Publishing Company CA, Menlo Park
-
(1987)
-
-
DeMillo, R.1
McCracken, W.2
Martin, R.3
Passafiume, J.4
-
9
-
-
0002221296
-
System-level reliability and sensitivity analyses for three fault-tolerant system architectures
-
CA
-
J. B. Dugan M. R. Lyu System-level reliability and sensitivity analyses for three fault-tolerant system architectures 4th International Working Conference on Dependable Computing for Critical Applications 295 307 4th International Working Conference on Dependable Computing for Critical Applications San Diego CA 1994-Januray
-
(1994)
, pp. 295-307
-
-
Dugan, J.B.1
Lyu, M.R.2
-
10
-
-
0022232712
-
A theoretical basis for the analysis of multiversion software subject to coincident errors
-
D. E. Eckhardt L. D. Lee A theoretical basis for the analysis of multiversion software subject to coincident errors IEEE Transactions on Software Engineering SE-11 12 1511 1517 December 1985
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.12
, pp. 1511-1517
-
-
Eckhardt, D.E.1
Lee, L.D.2
-
11
-
-
0018505572
-
Time-dependenterror-detection rate model for software reliability and other performance measures
-
A. L Goel K. Okumoto Time-dependenterror-detection rate model for software reliability and other performance measures IEEE Transactions on Reliability R-28 3 206 211 1979
-
(1979)
IEEE Transactions on Reliability
, vol.R-28
, Issue.3
, pp. 206-211
-
-
Goel, A.L1
Okumoto, K.2
-
12
-
-
0019282612
-
On the performance of software fault tolerance strategies
-
A. Grnarov J. Arlat A. Avizienis On the performance of software fault tolerance strategies Proceedings 10th Annual International Symposium on Fault-Toelrant Computing 251 253 Proceedings 10th Annual International Symposium on Fault-Toelrant Computing Keyto Japan 1980-October
-
(1980)
, pp. 251-253
-
-
Grnarov, A.1
Arlat, J.2
Avizienis, A.3
-
13
-
-
0028498264
-
Achieving software quality with testing coverage measures
-
J. Horgan S. London M. Lyu Achieving software quality with testing coverage measures IEEE Computer 27 9 6 69 September 1994
-
(1994)
IEEE Computer
, vol.27
, Issue.9
, pp. 6-69
-
-
Horgan, J.1
London, S.2
Lyu, M.3
-
14
-
-
0003656591
-
Functional Program Testing and Analysis
-
McGraw-Hill New York
-
W. Howden Functional Program Testing and Analysis 1987 McGraw-Hill New York
-
(1987)
-
-
Howden, W.1
-
15
-
-
0025457846
-
Definition and analysis of hardware-and-software fault-tolerant architectures
-
J.-C. Laprie J. Arlat C. B6ounes K. Kanoun Definition and analysis of hardware-and-software fault-tolerant architectures IEEE Computer 23 39 51 July 1990
-
(1990)
IEEE Computer
, vol.23
, pp. 39-51
-
-
Laprie, J.-C.1
Arlat, J.2
B6ounes, C.3
Kanoun, K.4
-
16
-
-
0004152891
-
Software Fault Tolerance
-
Architectural issues in software fault tolerance John Wiley & Sons
-
J.-C. Laprie J. Arlat C. Beounes K. Kanoun Software Fault Tolerance 47 80 February 1995 John Wiley & Sons Architectural issues in software fault tolerance
-
(1995)
, pp. 47-80
-
-
Laprie, J.-C.1
Arlat, J.2
Beounes, C.3
Kanoun, K.4
-
17
-
-
0003533985
-
Handbook of Software Reliability Engineering
-
McGraw-Hill Publishing Company and IEEE Computer Society Press New York
-
Handbook of Software Reliability Engineering 1995 McGraw-Hill Publishing Company and IEEE Computer Society Press New York
-
(1995)
-
-
-
18
-
-
0027607062
-
Improving the n-version programming process through the evolution of a design paradigm
-
M R. Lyu Y. He Improving the n-version programming process through the evolution of a design paradigm IEEE Transactions on Reliability 42 2 179 189 June 1993
-
(1993)
IEEE Transactions on Reliability
, vol.42
, Issue.2
, pp. 179-189
-
-
Lyu, .R.1
He, Y.2
-
19
-
-
0042354529
-
The relationship between test coverage and reliability
-
Y. K. Malaiya N. Li J. Bieman R. Karcich R. Skibbe The relationship between test coverage and reliability Proceedings of fifth International Symposium on software reliability engineering Proceedings of fifth International Symposium on software reliability engineering 1994
-
(1994)
-
-
Malaiya, Y.K.1
Li, N.2
Bieman, J.3
Karcich, R.4
Skibbe, R.5
-
20
-
-
0003960126
-
Software Reliability: Measurement, Prediction, Application
-
McGraw-Hill New York
-
J. D Musa A. lannino K. Okumoto Software Reliability: Measurement, Prediction, Application 1987 McGraw-Hill New York
-
(1987)
-
-
Musa, J.D1
lannino, A.2
Okumoto, K.3
-
21
-
-
0021208648
-
A logarithmic poisson execution time model for software reliability measurement
-
J. D. Musa K. Okumoto A logarithmic poisson execution time model for software reliability measurement Proceedings Seventh International Conferrence on Software Engineering 230 238 Proceedings Seventh International Conferrence on Software Engineering Orlando 1984
-
(1984)
, pp. 230-238
-
-
Musa, J.D.1
Okumoto, K.2
-
22
-
-
0027151027
-
Coverage measurement experience during function test
-
P. Piwowarski M. Ohba J. Caruso Coverage measurement experience during function test Proceedings of the fifteenth International conference on Software Engineering 287 300 Proceedings of the fifteenth International conference on Software Engineering 1993
-
(1993)
, pp. 287-300
-
-
Piwowarski, P.1
Ohba, M.2
Caruso, J.3
-
24
-
-
0016522101
-
System structure for software fault tolerance
-
B. Randell System structure for software fault tolerance IEEE Transactions on Software Engineering SE-1 2 220 232 June 1975
-
(1975)
IEEE Transactions on Software Engineering
, vol.SE-1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
27
-
-
0004152891
-
Software Fault Tolerance
-
Analyses using stochastic reward nets John Wiley & Sons
-
L. Tomek K. Trivedi Software Fault Tolerance 139 165 February 1995 John Wiley & Sons Analyses using stochastic reward nets
-
(1995)
, pp. 139-165
-
-
Tomek, L.1
Trivedi, K.2
-
28
-
-
34748901385
-
Using reliability models during teseting with non-operational profile
-
M. A. Vouk Using reliability models during teseting with non-operational profile Proceedings of the second Bellcore/Purdue Symposium on Issues in software reliability estimation 103 110 Proceedings of the second Bellcore/Purdue Symposium on Issues in software reliability estimation 1993
-
(1993)
, pp. 103-110
-
-
Vouk, M.A.1
-
29
-
-
85176673779
-
An experimental evaluation of the effectiveness of random testing of fault-tolerant software
-
M. A. Vouk D. F. McAllister K. C. Tai An experimental evaluation of the effectiveness of random testing of fault-tolerant software Proc. Workshop on Software Testing Proc. Workshop on Software Testing Banff Canada 1986-July
-
(1986)
-
-
Vouk, M.A.1
McAllister, D.F.2
Tai, K.C.3
|