-
1
-
-
0025516679
-
A Bayesian estimation method for the failure rate of a possibly correct program
-
Nov.
-
G. Becker and L. Camarinopoulos, “A Bayesian estimation method for the failure rate of a possibly correct program,” IEEE Trans. Software Eng., vol. 16, pp. 1307–1310, Nov. 1990.
-
(1990)
IEEE Trans. Software Eng
, vol.16
, pp. 1307-1310
-
-
Becker, G.1
Camarinopoulos, L.2
-
2
-
-
0025419850
-
Recalibrating software reliability models
-
Apr.
-
S. Brocklehurst, P. Y. Chan, B. Littlewood, and J. Snell, “Recalibrating software reliability models,” IEEE Trans. Software Eng., vol. 16, pp. 458–470, Apr. 1990.
-
(1990)
IEEE Trans. Software Eng
, vol.16
, pp. 458-470
-
-
Brocklehurst, S.1
Chan, P.Y.2
Littlewood, B.3
Snell, J.4
-
3
-
-
0016726313
-
Testing for software reliability
-
(Los Angeles, CA), Apr.
-
J. R. Brown and M. Lipow, “Testing for software reliability,” in Proc. Int. Conf. on Reliable Software (Los Angeles, CA), Apr. 1975, pp. 518–527.
-
(1975)
Proc. Int. Conf. on Reliable Software
, pp. 518-527
-
-
Brown, J.R.1
Lipow, M.2
-
4
-
-
84939365800
-
A user-oriented software reliability model
-
Mar.
-
R. C. Cheung, “A user-oriented software reliability model,” IEEE Trans. Software Eng., vol. SE-6, pp. 118–125, Mar. 1980.
-
(1980)
IEEE Trans. Software Eng
, vol.SE-6
, pp. 118-125
-
-
Cheung, R.C.1
-
5
-
-
0021453259
-
An evaluation of random testing
-
July
-
J. W. Duran and S. C. Ntafos, “An evaluation of random testing,” IEEE Trans. Software Eng., vol. SE-10, pp. 438–444, July 1984.
-
(1984)
IEEE Trans. Software Eng
, vol.SE-10
, pp. 438-444
-
-
Duran, J.W.1
Ntafos, S.C.2
-
7
-
-
0023331999
-
Probable correctness theory
-
Apr.
-
R. G. Hamlet, “Probable correctness theory,” Inform. Proc. Lett., pp. 17–25, Apr. 1987.
-
(1987)
Inform. Proc. Lett
, pp. 17-25
-
-
Hamlet, R.G.1
-
8
-
-
0024141122
-
Partition testing does not inspire con-fidence
-
July
-
R. G. Hamlet and R. Taylor, “Partition testing does not inspire con-fidence,” in Proc. 2nd Workshop on Software Testing, Validation, and Analysis, July 1988, pp. 206–215.
-
(1988)
Proc. 2nd Workshop on Software Testing, Validation, and Analysis
, pp. 206-215
-
-
Hamlet, R.G.1
Taylor, R.2
-
9
-
-
0024909030
-
Some observations on partition testing
-
Dec.
-
B. Jeng and E. Weyuker, “Some observations on partition testing,” in Proc. ACM SIGSOFT’89: 3rd Symp. on Software Testing, Analysis, and Verification (TAV3), Dec. 1989, pp. 38–47.
-
(1989)
Proc. ACM SIGSOFT’89: 3rd Symp. on Software Testing, Analysis, and Verification (TAV3)
, pp. 38-47
-
-
Jeng, B.1
Weyuker, E.2
-
10
-
-
0023385149
-
Software reuse through building blocks
-
July
-
M. Lenz, H. A. Schmid, and P. F. Wolf, “Software reuse through building blocks,” IEEE Software, vol. 4, pp. 34–42, July 1987.
-
(1987)
IEEE Software
, vol.4
, pp. 34-42
-
-
Lenz, M.1
Schmid, H.A.2
Wolf, P.F.3
-
11
-
-
0025383829
-
Reliability analysis of large software systems: defect data modeling
-
Feb.
-
Y. Levendel, “Reliability analysis of large software systems: defect data modeling,” IEEE Trans. Software Eng., vol. 16, pp. 141–152, Feb. 1990.
-
(1990)
IEEE Trans. Software Eng
, vol.16
, pp. 141-152
-
-
Levendel, Y.1
-
12
-
-
0016070256
-
A Bayesian reliability model with a stochastically monotone failure rate
-
June
-
B. Littlewood and J. Verrall, “A Bayesian reliability model with a stochastically monotone failure rate,” IEEE Trans. Rel, vol. R-23, pp. 108–114, June 1974.
-
(1974)
IEEE Trans. Rel
, vol.R-23
, pp. 108-114
-
-
Littlewood, B.1
Verrall, J.2
-
13
-
-
0024167770
-
Making statistical inferences about software reliability
-
Dec.
-
D. R. Miller, “Making statistical inferences about software reliability,” NASA Contractor Rep. No. 4197, Dec. 1988.
-
(1988)
NASA Contractor Rep. No. 4197
-
-
Miller, D.R.1
-
14
-
-
0016440955
-
The new math of computer programming
-
Jan.
-
H. D. Mills, “The new math of computer programming,” CACM, Vol. 18, No. 1, pp. 43–48, Jan. 1975.
-
(1975)
CACM
, vol.18
, Issue.1
, pp. 43-48
-
-
Mills, H.D.1
-
15
-
-
84945725091
-
Error flow testing
-
Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. WM-90-1, Feb.
-
B. W. Murrill and L. J. Morell, “Error flow testing,” Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. WM-90-1, Feb. 1990.
-
(1990)
-
-
Murrill, B.W.1
Morell, L.J.2
-
16
-
-
0003960126
-
-
New York: McGraw-Hill
-
J. D. Musa, A. Iannino, and K. Okumoto, Software Reliability: Measure-ment, Prediction, and Application. New York: McGraw-Hill, 1987.
-
(1987)
Software Reliability: Measure-ment, Prediction, and Application
-
-
Musa, J.D.1
Iannino, A.2
Okumoto, K.3
-
17
-
-
0000679487
-
Outline of a theory of statistical estimation based on the classical theory of probability
-
J. Neyman, “Outline of a theory of statistical estimation based on the classical theory of probability,” Phil. Trans. Roy. Soc., London A., Vol. 236, p. 333, 1937.
-
(1937)
Phil. Trans. Roy. Soc., London A
, vol.236
, pp. 333
-
-
Neyman, J.1
-
18
-
-
0020154271
-
Software reliability—status and perspectives
-
July
-
C. V. Ramamoorthy and F. B. Bastini, “Software reliability—status and perspectives,” IEEE Trans. Software Eng., vol. SE-8, pp. 354–370, July 1982.
-
(1982)
IEEE Trans. Software Eng
, vol.SE-8
, pp. 354-370
-
-
Ramamoorthy, C.V.1
Bastini, F.B.2
-
19
-
-
0017949597
-
An analysis of competing software reliability models
-
Mar.
-
G. J. Schick and R. W. Wolverton, “An analysis of competing software reliability models,” IEEE Trans. Software Eng., vol. SE-4, pp. 104–120, Mar. 1978.
-
(1978)
IEEE Trans. Software Eng
, vol.SE-4
, pp. 104-120
-
-
Schick, G.J.1
Wolverton, R.W.2
-
20
-
-
0022034827
-
Software considerations in airborne system and equipment certification
-
Washington, DC, DO-178A, Mar.
-
Special Committee 152, “Software considerations in airborne system and equipment certification,” Radio Tech. Commission for Aeronautics, Washington, DC, DO-178A, Mar. 1985.
-
(1985)
Radio Tech. Commission for Aeronautics
-
-
-
22
-
-
84945725093
-
Fault sensitivity analysis (PIA) applied to computer programs
-
Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. 89—4, Dec.
-
J. M. Voas and L. J. Morell, “Fault sensitivity analysis (PIA) applied to computer programs,” Dept. Computer Sci., College of William and Mary, Williamsburg, VA, Tech. Rep. 89—4, Dec. 1989.
-
(1989)
-
-
Voas, J.M.1
Morell, L.J.2
-
23
-
-
0038564801
-
What to compare when comparing test data adequacy criteria
-
Oct.
-
S. N. Weiss, “What to compare when comparing test data adequacy criteria,” Software Eng. Notes, Vol. 14, No. 6, pp. 42–49, Oct. 1989.
-
(1989)
Software Eng. Notes
, vol.14
, Issue.6
, pp. 42-49
-
-
Weiss, S.N.1
-
24
-
-
0026188143
-
Analyzing partition testing strategies
-
July
-
E. J. Weyuker and B. Jeng, “Analyzing partition testing strategies,” IEEE Trans. Software Eng., vol 17, pp. 703–711, July 1991.
-
(1991)
IEEE Trans. Software Eng
, vol.17
, pp. 703-711
-
-
Weyuker, E.J.1
Jeng, B.2
-
25
-
-
0024090715
-
An extended domain-based model of software reliability
-
Oct.
-
S. N. Weiss and E. J. Weyuker, “An extended domain-based model of software reliability,” IEEE Trans. Software Eng., vol. 14, pp. 1512–1524, Oct. 1988.
-
(1988)
IEEE Trans. Software Eng
, vol.14
, pp. 1512-1524
-
-
Weiss, S.N.1
Weyuker, E.J.2
|