-
1
-
-
0034273864
-
A decision-analytic stopping rule for validation of commercial software systems
-
September
-
Tom Chávez. A decision-analytic stopping rule for validation of commercial software systems. IEEE Transactions on Software Engineering, 26(9):907-918, September 2000.
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, Issue.9
, pp. 907-918
-
-
Chávez, T.1
-
2
-
-
0008533746
-
A binary Markov process model for random testing
-
March
-
Sanping Chen and Shirley Mills. A binary Markov process model for random testing. IEEE Transactions on Software Engineering, 22(3):218-223, March 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.3
, pp. 218-223
-
-
Chen, S.1
Mills, S.2
-
4
-
-
0022252694
-
Software reliability models: Assumptions, limitations, and applicability
-
December
-
Amrit L. Goel. Software reliability models: Assumptions, limitations, and applicability. IEEE Transactions on Software Engineering, SE-11(12):1411-1423, December 1985.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE-11
, Issue.12
, pp. 1411-1423
-
-
Goel, A.L.1
-
5
-
-
0018505572
-
Time-dependent error-detection rate model for software reliability and other performance measures
-
August
-
Amrit L. Goel and Kazu Okumoto. Time-dependent error-detection rate model for software reliability and other performance measures. IEEE Transactions on Reliability, R-28(3):206-211, August 1979.
-
(1979)
IEEE Transactions on Reliability
, vol.R-28
, Issue.3
, pp. 206-211
-
-
Goel, A.L.1
Okumoto, K.2
-
7
-
-
0005408892
-
High quality behavioral verification using statistical stopping criteria
-
IEEE Press, March
-
Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Andrews, and Maria Bjorkman. High quality behavioral verification using statistical stopping criteria. In Proceedings of the DATE 2001 on Design, Automation, and Test in Europe, pages 411-419. IEEE Press, March 2001.
-
(2001)
Proceedings of the DATE 2001 on Design, Automation, and Test in Europe
, pp. 411-419
-
-
Hajjar, A.1
Chen, T.2
Munn, I.3
Andrews, A.4
Bjorkman, M.5
-
8
-
-
0006565375
-
Planning models for software reliability and cost
-
June
-
Mary E. Helander, Ming Zhao, and Niclas Ohlsson. Planning models for software reliability and cost. IEEE Transactions on Software Engineering, 24(6):420-434, June 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.6
, pp. 420-434
-
-
Helander, M.E.1
Zhao, M.2
Ohlsson, N.3
-
9
-
-
0034271178
-
Improving software quality using statistical testing techniques
-
September
-
David P. Kelly and Jesse H. Poore. Improving software quality using statistical testing techniques. Information and Software Technology, 42(12):801-807, September 2000.
-
(2000)
Information and Software Technology
, vol.42
, Issue.12
, pp. 801-807
-
-
Kelly, D.P.1
Poore, J.H.2
-
11
-
-
0031276197
-
Some conservative stopping rules for the operational testing of safety-critical software
-
November
-
Bev Littlewood and David Wright. Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions on Software Engineering, 23(11):673-683, November 1997.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.11
, pp. 673-683
-
-
Littlewood, B.1
Wright, D.2
-
12
-
-
0026679635
-
Estimating the probability of failure when testing reveals no failures
-
January
-
Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murriel, and Jeffrey M. Voas. Estimating the probability of failure when testing reveals no failures. IEEE Transactions on Software Engineering, 18(1):33-44, January 1992.
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.1
, pp. 33-44
-
-
Miller, K.W.1
Morell, L.J.2
Noonan, R.E.3
Park, S.K.4
Nicol, D.M.5
Murriel, B.W.6
Voas, J.M.7
-
14
-
-
0019292406
-
Optimum release-time for software systems based on reliability and cost criteria
-
Kazu Okumoto and Amrit L. Goel. Optimum release-time for software systems based on reliability and cost criteria. Journal of Systems and Software, 1(4):315-318, 1980.
-
(1980)
Journal of Systems and Software
, vol.1
, Issue.4
, pp. 315-318
-
-
Okumoto, K.1
Goel, A.L.2
-
15
-
-
0002080664
-
Planning and certifying system reliability
-
Jesse H. Poore, Harlan D. Mills, and David Mutchler. Planning and certifying system reliability. IEEE Software, 10(1):88-99, 1993.
-
(1993)
IEEE Software
, vol.10
, Issue.1
, pp. 88-99
-
-
Poore, J.H.1
Mills, H.D.2
Mutchler, D.3
-
18
-
-
0034271236
-
Stopping criteria for statistical testing
-
September
-
Kirk D. Sayre and Jesse H. Poore. Stopping criteria for statistical testing. Information and Software Technology, 42(12):851-857, September 2000.
-
(2000)
Information and Software Technology
, vol.42
, Issue.12
, pp. 851-857
-
-
Sayre, K.D.1
Poore, J.H.2
-
19
-
-
0029221754
-
Statistical testing of software based on a usage model
-
January
-
Gwendolyn H. Walton, Jesse H. Poore, and Carmen J. Trammell. Statistical testing of software based on a usage model. Software - Practice and Experience, 25(1):97-108, January 1995.
-
(1995)
Software - Practice and Experience
, vol.25
, Issue.1
, pp. 97-108
-
-
Walton, G.H.1
Poore, J.H.2
Trammell, C.J.3
-
20
-
-
0028517307
-
A Markov chain model for statistical software testing
-
October
-
James A. Whittaker and Michael G. Thomason. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10):812-824, October 1994.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.10
, pp. 812-824
-
-
Whittaker, J.A.1
Thomason, M.G.2
|