-
1
-
-
0021199968
-
Optimizing preventive service of software products
-
Adams E.N. Optimizing preventive service of software products. IBM J. Res. Develop. 28 (1984) 2-14
-
(1984)
IBM J. Res. Develop.
, vol.28
, pp. 2-14
-
-
Adams, E.N.1
-
2
-
-
77956747267
-
-
Air Force Operational Test and Evaluation Center (1990). AFOTEC Pamphlet 800-2, 6, Software Maturity Guide, October
-
Air Force Operational Test and Evaluation Center (1990). AFOTEC Pamphlet 800-2, Volume 6, Software Maturity Guide, October
-
-
-
-
4
-
-
0003469953
-
-
Marcel Dekker, New York Vol. 7 of Lecture Notes in Statistics
-
Ascher H., and Feingold H. Repairable Systems Reliability: Modeling, Inference, Misconceptions and their Causes (1984), Marcel Dekker, New York Vol. 7 of Lecture Notes in Statistics
-
(1984)
Repairable Systems Reliability: Modeling, Inference, Misconceptions and their Causes
-
-
Ascher, H.1
Feingold, H.2
-
5
-
-
33746423013
-
Quantitative evaluation of software engineering methodology
-
Melbourne, Australia
-
Basili V.R. Quantitative evaluation of software engineering methodology. Proceedings First Pan Pacific Computer Conference (1985), Melbourne, Australia
-
(1985)
Proceedings First Pan Pacific Computer Conference
-
-
Basili, V.R.1
-
6
-
-
0025516679
-
A Bayesian estimation method for the failure rate of a possibly correct program
-
Becker G., and Camarinopoulos L. A Bayesian estimation method for the failure rate of a possibly correct program. IEEE Trans. Software Engineering SE-16 (1990) 1307-1310
-
(1990)
IEEE Trans. Software Engineering
, vol.SE-16
, pp. 1307-1310
-
-
Becker, G.1
Camarinopoulos, L.2
-
8
-
-
0038184610
-
Probabilistic models of decreasing failure rate processes
-
Cozzolino Jr. J.M. Probabilistic models of decreasing failure rate processes. Nav. Res. Logistics Quarterly 15 (1968) 361-374
-
(1968)
Nav. Res. Logistics Quarterly
, vol.15
, pp. 361-374
-
-
Cozzolino Jr., J.M.1
-
9
-
-
0001782167
-
Reliability analysis for complex, repairable systems
-
Proschan F., and Serfling R.J. (Eds), SIAM, Philadelphia
-
Crow L.H. Reliability analysis for complex, repairable systems. In: Proschan F., and Serfling R.J. (Eds). Reliability and Biometry (1974), SIAM, Philadelphia 379-410
-
(1974)
Reliability and Biometry
, pp. 379-410
-
-
Crow, L.H.1
-
10
-
-
84937650085
-
Learning curve approach to reliability monitoring
-
Duane J.T. Learning curve approach to reliability monitoring. IEEE Trans. Aerospace 2 (1964) 563-566
-
(1964)
IEEE Trans. Aerospace
, vol.2
, pp. 563-566
-
-
Duane, J.T.1
-
12
-
-
0001429336
-
An empirical stopping rule for debugging and testing computer software
-
Forman E.H., and Singpurwalla N.D. An empirical stopping rule for debugging and testing computer software. J. Amer. Statist. Assoc. 72 (1977) 250-253
-
(1977)
J. Amer. Statist. Assoc.
, vol.72
, pp. 250-253
-
-
Forman, E.H.1
Singpurwalla, N.D.2
-
13
-
-
0026986312
-
Optimal properties of the laplace trend test for software reliability models
-
Gaudoin O. Optimal properties of the laplace trend test for software reliability models. IEEE Trans. Reliability 41 4 (1992) 525-532
-
(1992)
IEEE Trans. Reliability
, vol.41
, Issue.4
, pp. 525-532
-
-
Gaudoin, O.1
-
14
-
-
5544258587
-
Software reliability modelling and estimation techniques
-
Technical report, RADC-TR-82-263, October
-
Goel, A.L. (1982). Software reliability modelling and estimation techniques. Technical report, RADC-TR-82-263, October
-
(1982)
-
-
Goel, A.L.1
-
15
-
-
0022252694
-
Software reliability models: Assumptions, limitations, and applicability
-
Goel A.L. Software reliability models: Assumptions, limitations, and applicability. IEEE Trans. Software Engineering SE-11 12 (1985) 1411-1423
-
(1985)
IEEE Trans. Software Engineering
, vol.SE-11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
16
-
-
77956749326
-
Software metrics: Analysis and interpretation. Tutorial Notes
-
Las Vegas, NV, January
-
Goel, A.L. (1996). Software metrics: Analysis and interpretation. Tutorial Notes, IEEE RAMS Symposium, Las Vegas, NV, January
-
(1996)
IEEE RAMS Symposium
-
-
Goel, A.L.1
-
17
-
-
0018311785
-
A Markovian model for reliability and other performance measures of software systems
-
& KazuhiraOkumoto , New York
-
Goel, A.L. & KazuhiraOkumoto (1979). A Markovian model for reliability and other performance measures of software systems. In Proceedings of Nat. Comput. Conf., Vol. 48, pp. 769-774, New York
-
(1979)
Proceedings of Nat. Comput. Conf
, vol.48
, pp. 769-774
-
-
Goel, A.L.1
-
18
-
-
0018505572
-
A time dependent error detection rate model for software reliability and other performance measures
-
Goel A.L., and Kazuhira O. A time dependent error detection rate model for software reliability and other performance measures. IEEE Trans. Reliability R-28 8 (1979) 206-211
-
(1979)
IEEE Trans. Reliability
, vol.R-28
, Issue.8
, pp. 206-211
-
-
Goel, A.L.1
Kazuhira, O.2
-
19
-
-
0019606230
-
Models for hardware-software system operational performance evaluation
-
1981
-
Goel A.L., and Soenjoto J. Models for hardware-software system operational performance evaluation. IEEE Trans. Reliability R-30 (1981) 232-239 1981
-
(1981)
IEEE Trans. Reliability
, vol.R-30
, pp. 232-239
-
-
Goel, A.L.1
Soenjoto, J.2
-
21
-
-
77956788471
-
Software metrics statistical analysis techniques
-
Technical report, Syracuse University, January
-
Goel, A.L. & Yang, K.-Z. (1996). Software metrics statistical analysis techniques. Technical report, Syracuse University, January
-
(1996)
-
-
Goel, A.L.1
Yang, K.-Z.2
-
23
-
-
77956775921
-
Operational testing readiness assessment of an Air Force software system: A case study
-
NASA/GSFC, Greenbelt, MD, December
-
Goel, A.L., Hermann, B., McCanne, R. & Yang, K. (1996). Operational testing readiness assessment of an Air Force software system: A case study. In Proceedings of the 21st Annual Software Engineering Workshop. NASA/GSFC, Greenbelt, MD, December
-
(1996)
Proceedings of the 21st Annual Software Engineering Workshop
-
-
Goel, A.L.1
Hermann, B.2
McCanne, R.3
Yang, K.4
-
24
-
-
0023456007
-
Modeling and analysis of computer system availability
-
Goyal A., and Lavenberg S.S. Modeling and analysis of computer system availability. IBM J. Research and Development 31 (1987) 651-664
-
(1987)
IBM J. Research and Development
, vol.31
, pp. 651-664
-
-
Goyal, A.1
Lavenberg, S.S.2
-
25
-
-
77956717290
-
Software reliability
-
Yovits M.C. (Ed), Academic Press
-
Iannino A., and Musa J.D. Software reliability. In: Yovits M.C. (Ed). Advances in Computers 30 (1990), Academic Press
-
(1990)
Advances in Computers
, vol.30
-
-
Iannino, A.1
Musa, J.D.2
-
27
-
-
0022221716
-
Bayesian extensions to a basic model of software reliability
-
Jewell W.S. Bayesian extensions to a basic model of software reliability. IEEE Trans. Software Engineering SE-11 (1985) 1465-1471
-
(1985)
IEEE Trans. Software Engineering
, vol.SE-11
, pp. 1465-1471
-
-
Jewell, W.S.1
-
29
-
-
0028497675
-
Software reliability trend analysis from theoretical to practical considerations
-
Kanoun K., and Laprie J. Software reliability trend analysis from theoretical to practical considerations. IEEE Trans. Software Engineering 20 9 (1994) 740-746
-
(1994)
IEEE Trans. Software Engineering
, vol.20
, Issue.9
, pp. 740-746
-
-
Kanoun, K.1
Laprie, J.2
-
30
-
-
0026140308
-
A model for software reliability analysis and prediction: Application to the TROPICO-R switching system
-
Kanoun K., Martini M.B., and De Souza J.M. A model for software reliability analysis and prediction: Application to the TROPICO-R switching system. IEEE Trans. Software Engineering 17 (1991) 334-344
-
(1991)
IEEE Trans. Software Engineering
, vol.17
, pp. 334-344
-
-
Kanoun, K.1
Martini, M.B.2
De Souza, J.M.3
-
31
-
-
0025664645
-
An S-shaped software reliability growth model with two types of errors
-
Kareer N., et al. An S-shaped software reliability growth model with two types of errors. Microelectronics and Reliability 30 (1990) 1085-1090
-
(1990)
Microelectronics and Reliability
, vol.30
, pp. 1085-1090
-
-
Kareer, N.1
-
33
-
-
0020736735
-
Birth-death and bug counting
-
1983
-
Kremer W. Birth-death and bug counting. IEEE Trans. Reliability R-32 (1983) 37-47 1983
-
(1983)
IEEE Trans. Reliability
, vol.R-32
, pp. 37-47
-
-
Kremer, W.1
-
34
-
-
0012954789
-
Bayesian inference for the Weibull process with applications to assessing software reliability growth and predicting software failures
-
Atlanta, GA
-
Kyparisis, J. & Singpurwalla, N.D. (1984). Bayesian inference for the Weibull process with applications to assessing software reliability growth and predicting software failures. In Proceedings of 16th Symp. on Interface: Computer Science and Statistics, pp. 57-64, Atlanta, GA
-
(1984)
Proceedings of 16th Symp. on Interface: Computer Science and Statistics
, pp. 57-64
-
-
Kyparisis, J.1
Singpurwalla, N.D.2
-
36
-
-
0018478881
-
How to measure software reliability and how not to
-
Littlewood B. How to measure software reliability and how not to. IEEE Trans. Reliability R-28 (1979) 103-110
-
(1979)
IEEE Trans. Reliability
, vol.R-28
, pp. 103-110
-
-
Littlewood, B.1
-
37
-
-
50849150481
-
The Littlewood-Verrall model for software reliability compared with some rivals
-
Littlewood B. The Littlewood-Verrall model for software reliability compared with some rivals. J. Systems and Software 1 (1980) 251-258
-
(1980)
J. Systems and Software
, vol.1
, pp. 251-258
-
-
Littlewood, B.1
-
38
-
-
0019057466
-
Theory of software reliability: How good are they and how can be improved?
-
Littlewood B. Theory of software reliability: How good are they and how can be improved?. IEEE Trans. Software Engineering SE-6 (1980) 489-500
-
(1980)
IEEE Trans. Software Engineering
, vol.SE-6
, pp. 489-500
-
-
Littlewood, B.1
-
39
-
-
0021443966
-
Rationale for a modified Duane model
-
Littlewood B. Rationale for a modified Duane model. IEEE Trans. Reliability R-33 (1984) 157-159
-
(1984)
IEEE Trans. Reliability
, vol.R-33
, pp. 157-159
-
-
Littlewood, B.1
-
40
-
-
0023310116
-
A Bayesian modification to the Jelinski-Moranda software growth model
-
Littlewood B., and Sofer A. A Bayesian modification to the Jelinski-Moranda software growth model. Software Engineering J. 2 (1987) 30-41
-
(1987)
Software Engineering J.
, vol.2
, pp. 30-41
-
-
Littlewood, B.1
Sofer, A.2
-
41
-
-
0015764839
-
A Bayesian reliability growth model for computer software
-
Littlewood B., and Verrall J.L. A Bayesian reliability growth model for computer software. Applied Statistics 22 (1973) 332-346
-
(1973)
Applied Statistics
, vol.22
, pp. 332-346
-
-
Littlewood, B.1
Verrall, J.L.2
-
42
-
-
77956718919
-
A Bayesian assessing method of software reliability growth
-
Osaki S., and Cao J. (Eds), World Scientific, Singapore
-
Liu G. A Bayesian assessing method of software reliability growth. In: Osaki S., and Cao J. (Eds). Reliability Theory and Applications (1987), World Scientific, Singapore 237-244
-
(1987)
Reliability Theory and Applications
, pp. 237-244
-
-
Liu, G.1
-
43
-
-
77956788066
-
-
Personal Communication
-
McKissick, J. (1995). Personal Communication
-
(1995)
-
-
McKissick, J.1
-
44
-
-
0022576316
-
Exponential order statistic models of software reliability growth
-
Miller D.R. Exponential order statistic models of software reliability growth. IEEE Trans. Software Engineering SE-12 1 (1986) 12-24
-
(1986)
IEEE Trans. Software Engineering
, vol.SE-12
, Issue.1
, pp. 12-24
-
-
Miller, D.R.1
-
46
-
-
0016557617
-
A theory of software reliability and its applications
-
Musa J.D. A theory of software reliability and its applications. IEEE Trans. Software Engineering SE-1 (1971) 312-327
-
(1971)
IEEE Trans. Software Engineering
, vol.SE-1
, pp. 312-327
-
-
Musa, J.D.1
-
47
-
-
0021208648
-
A logarithmic Poisson execution time model for software reliability measurement
-
Orlando, FL, March
-
Musa, J.D. & Okumoto, K. (1983). A logarithmic Poisson execution time model for software reliability measurement. In Proceedings of 7th Int. Conf. Software Eng., pp. 230-237, Orlando, FL, March
-
(1983)
Proceedings of 7th Int. Conf. Software Eng
, pp. 230-237
-
-
Musa, J.D.1
Okumoto, K.2
-
48
-
-
0003960126
-
-
McGraw-Hill, New York
-
Musa J.D., Ianinno A., and Okumoto K. Software Reliability: Measurement, Prediction, Application (1987), McGraw-Hill, New York
-
(1987)
Software Reliability: Measurement, Prediction, Application
-
-
Musa, J.D.1
Ianinno, A.2
Okumoto, K.3
-
49
-
-
33746090571
-
Software reliability: Repetitive run experimentation and modeling
-
165836, NASA Langley Res. Center, February
-
Nagel, P.M. & Skrivan, J.A. (1982). Software reliability: Repetitive run experimentation and modeling. Technical Report NASA Contractor Rep. 165836, NASA Langley Res. Center, February
-
(1982)
Technical Report NASA Contractor Rep
-
-
Nagel, P.M.1
Skrivan, J.A.2
-
50
-
-
0013047560
-
Software reliability: Additional investigations into modeling with replicated experiments
-
172378, NASA Langley Res. Center, June
-
Nagel, P.M., Scholz, F.W. & Skrivan, J.A. (1984). Software reliability: Additional investigations into modeling with replicated experiments. Technical Report NASA Contractor Rep. 172378, NASA Langley Res. Center, June
-
(1984)
Technical Report NASA Contractor Rep
-
-
Nagel, P.M.1
Scholz, F.W.2
Skrivan, J.A.3
-
51
-
-
0021468304
-
Software reliability analysis models
-
Ohba M. Software reliability analysis models. IBM J. Res. Develop. 28 4 (1984) 428-443
-
(1984)
IBM J. Res. Develop.
, vol.28
, Issue.4
, pp. 428-443
-
-
Ohba, M.1
-
53
-
-
0019292406
-
Optimum release time for software systems based on reliability and cost criterion
-
Okumoto K., and Goel A.L. Optimum release time for software systems based on reliability and cost criterion. Journal of Systems and Software 1 12 (1980) 315-318
-
(1980)
Journal of Systems and Software
, vol.1
, Issue.12
, pp. 315-318
-
-
Okumoto, K.1
Goel, A.L.2
-
54
-
-
77956758157
-
Software availability based on reliability growth models
-
Othera H., et al. Software availability based on reliability growth models. Trans. IEICE of Japan 73 (1990) 1264-1269
-
(1990)
Trans. IEICE of Japan
, vol.73
, pp. 1264-1269
-
-
Othera, H.1
-
59
-
-
0009989188
-
Assessment of software reliability. In Proc
-
Schick, G.J. & Wolverton, R.W. (1973). Assessment of software reliability. In Proc. Operations Research, pp. 395-422
-
(1973)
Operations Research
, pp. 395-422
-
-
Schick, G.J.1
Wolverton, R.W.2
-
60
-
-
0017949597
-
An analysis of competing software reliability models
-
Schick G.J., and Wolverton R.W. An analysis of competing software reliability models. IEEE Trans. Software Engineering SE-4 2 (1978) 104-120
-
(1978)
IEEE Trans. Software Engineering
, vol.SE-4
, Issue.2
, pp. 104-120
-
-
Schick, G.J.1
Wolverton, R.W.2
-
61
-
-
84976677822
-
-
Schneidewind, N.F, 1975, Analysis of error processes in computer software. In Proc. Int. Conf. Reliable Software, pp. 337-346, Los Angeles, CA, April
-
Schneidewind, N.F. (1975). Analysis of error processes in computer software. In Proc. Int. Conf. Reliable Software, pp. 337-346, Los Angeles, CA, April
-
-
-
-
62
-
-
0019682019
-
A general software reliability model for performance prediction
-
Shanthikumar J.G. A general software reliability model for performance prediction. Microelectronics and Reliability 21 (1981) 671-682
-
(1981)
Microelectronics and Reliability
, vol.21
, pp. 671-682
-
-
Shanthikumar, J.G.1
-
64
-
-
0022792454
-
A software reliability model with multiple-error introduction and removal
-
Sumita U., and Shanthikumar J.G. A software reliability model with multiple-error introduction and removal. IEEE Trans. Reliability R-35 (1986) 459-462
-
(1986)
IEEE Trans. Reliability
, vol.R-35
, pp. 459-462
-
-
Sumita, U.1
Shanthikumar, J.G.2
-
66
-
-
2342651229
-
The linear software reliability model and uniform testing
-
Trachtenberg M. The linear software reliability model and uniform testing. IEEE Trans. Reliability. R-34 1 (1985) 8-16
-
(1985)
IEEE Trans. Reliability.
, vol.R-34
, Issue.1
, pp. 8-16
-
-
Trachtenberg, M.1
-
67
-
-
84976724983
-
-
Trivedi, A.K. & Shooman, M.L, 1975, A many-state Markov model for the estimation and prediction of computer software performance parameters. In Proceedings of International Conference on Reliable Software, pp. 208-220, Los Angeles
-
Trivedi, A.K. & Shooman, M.L. (1975). A many-state Markov model for the estimation and prediction of computer software performance parameters. In Proceedings of International Conference on Reliable Software, pp. 208-220, Los Angeles
-
-
-
-
70
-
-
0022189422
-
Cost-reliability optimal release policies for software systems
-
Yamada S., and Osaki S. Cost-reliability optimal release policies for software systems. IEEE Trans. Reliability R-34 (1985) 422-424
-
(1985)
IEEE Trans. Reliability
, vol.R-34
, pp. 422-424
-
-
Yamada, S.1
Osaki, S.2
-
71
-
-
0022224726
-
Software reliability growth modeling: Models and applications
-
Yamada S., and Osaki S. Software reliability growth modeling: Models and applications. IEEE Trans. Software Engineering SE-11 (1985) 1431-1437
-
(1985)
IEEE Trans. Software Engineering
, vol.SE-11
, pp. 1431-1437
-
-
Yamada, S.1
Osaki, S.2
-
72
-
-
0021006179
-
S-shaped reliability growth modeling for software error detection
-
Yamada S., Ohba M., and Osaki S. S-shaped reliability growth modeling for software error detection. IEEE Trans_ Reliability R-32 (1983) 475-478
-
(1983)
IEEE Trans_ Reliability
, vol.R-32
, pp. 475-478
-
-
Yamada, S.1
Ohba, M.2
Osaki, S.3
-
73
-
-
0021476797
-
Optimum release policies for a software system with scheduled software delivery time
-
Yamada S., et al. Optimum release policies for a software system with scheduled software delivery time. Int. J. Syst. Sci. 15 (1984) 905-914
-
(1984)
Int. J. Syst. Sci.
, vol.15
, pp. 905-914
-
-
Yamada, S.1
-
74
-
-
0007663351
-
A software reliability growth model with two types of errors
-
Yamada S., et al. A software reliability growth model with two types of errors. R.A.I.R.O. 19 (1985) 87-104
-
(1985)
R.A.I.R.O.
, vol.19
, pp. 87-104
-
-
Yamada, S.1
-
75
-
-
0022705483
-
Software reliability growth models with testing effort
-
Yamada S., et al. Software reliability growth models with testing effort. IEEE Trans. Reliability R-35 (1986) 19-23
-
(1986)
IEEE Trans. Reliability
, vol.R-35
, pp. 19-23
-
-
Yamada, S.1
-
76
-
-
77956734775
-
Models for software reliability prediction: Some new results
-
Technical report, Syracuse University, January
-
Yang, K. & Goer, A.L. (1994). Models for software reliability prediction: Some new results. Technical report, Syracuse University, January
-
(1994)
-
-
Yang, K.1
Goer, A.L.2
-
77
-
-
33645842586
-
Role of verification in the software specification process
-
Yovits M.C. (Ed), Academic Press, New York
-
Zelkowitz M.V. Role of verification in the software specification process. In: Yovits M.C. (Ed). Advances in Computers 36 (1993), Academic Press, New York 44-108
-
(1993)
Advances in Computers
, vol.36
, pp. 44-108
-
-
Zelkowitz, M.V.1
|