-
2
-
-
33747242818
-
-
13th Ann. Pacific Northwest Software Quality Conf., pp. 148-173, Portland, Ore., 1995.
-
B. Beizer, "The Cleanroom Process Model: A Critical Examination," Proc. 13th Ann. Pacific Northwest Software Quality Conf., pp. 148-173, Portland, Ore., 1995.
-
"The Cleanroom Process Model: A Critical Examination," Proc.
-
-
Beizer, B.1
-
3
-
-
0027306938
-
-
19, no. 1, pp. 3-12, Jan. 1993.
-
R.W. Butler and G.B. Finelli, "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Trans. Software Eng., vol. 19, no. 1, pp. 3-12, Jan. 1993.
-
"The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Trans. Software Eng., Vol.
-
-
Butler, R.W.1
Finelli, G.B.2
-
4
-
-
0028751768
-
-
20, no. 12, pp. 977-980, Dec. 1994.
-
T.Y. Chen and Y.T. Yu, "On the Relationship between Partition and Random Testing," IEEE Trans. Software Eng., vol. 20, no. 12, pp. 977-980, Dec. 1994.
-
"On the Relationship between Partition and Random Testing," IEEE Trans. Software Eng., Vol.
-
-
Chen, T.Y.1
Yu, Y.T.2
-
5
-
-
0000714233
-
-
22, no. 2, pp. 109-119, Feb. 1996.
-
T.Y. Chen and Y.T. Yu, "On the Expected Number of Failures Detected by Subdomain Testing and Random Testing," IEEE Trans. Software Eng., vol. 22, no. 2, pp. 109-119, Feb. 1996.
-
"On the Expected Number of Failures Detected by Subdomain Testing and Random Testing," IEEE Trans. Software Eng., Vol.
-
-
Chen, T.Y.1
Yu, Y.T.2
-
7
-
-
85143041102
-
-
15th ICSE, pp. 425-435, Baltimore, Md., 1993.
-
S.R. Dalai, J.R. Morgan, and J.R. Kettenring, "Reliable Software and Communication: Software Quality, Reliability, and Safety," Proc. 15th ICSE, pp. 425-435, Baltimore, Md., 1993.
-
J.R. Morgan, and J.R. Kettenring, "Reliable Software and Communication: Software Quality, Reliability, and Safety," Proc.
-
-
Dalai, S.R.1
-
8
-
-
0021453259
-
-
10, pp. 438-444,1984.
-
J. Duran and S. Ntafos, "An Evaluation of Random Testing," IEEE Trans. Software Eng., vol. 10, pp. 438-444,1984.
-
"An Evaluation of Random Testing," IEEE Trans. Software Eng., Vol.
-
-
Duran, J.1
Ntafos, S.2
-
9
-
-
0027644148
-
-
19, no. 8, pp. 774-787, Aug. 1993.
-
P.G. Frankl and S.N. Weiss, "An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing," IEEE Trans. Software Eng., vol. 19, no. 8, pp. 774-787, Aug. 1993.
-
"An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing," IEEE Trans. Software Eng., Vol.
-
-
Frankl, P.G.1
Weiss, S.N.2
-
10
-
-
0027680735
-
-
19, no. 10, pp. 962-975, Oct. 1993.
-
P.G. Frankl and EJ. Weyuker, "Provable Improvements on Branch Testing," IEEE Trans. Software Eng., vol. 19, no. 10, pp. 962-975, Oct. 1993.
-
"Provable Improvements on Branch Testing," IEEE Trans. Software Eng., Vol.
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
11
-
-
0027148456
-
-
15th Int'l Conf. Software Eng., pp. 24-33, Baltimore, Md., 1993.
-
S. Gerhart, D. Craigen, and T. Ralston, "Observations on Industrial Practice Using Formal Methods," Proc. 15th Int'l Conf. Software Eng., pp. 24-33, Baltimore, Md., 1993.
-
D. Craigen, and T. Ralston, "Observations on Industrial Practice Using Formal Methods," Proc.
-
-
Gerhart, S.1
-
12
-
-
0025530786
-
-
16, pp. 1,402-1,411, Dec. 1990.
-
D. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence," IEEE Trans. Software. Eng., vol. 16, pp. 1,402-1,411, Dec. 1990.
-
"Partition Testing Does Not Inspire Confidence," IEEE Trans. Software. Eng., Vol.
-
-
Hamlet, D.1
Taylor, R.2
-
13
-
-
0028498264
-
-
27, pp. 60-69,1994.
-
J. Morgan, S. London, and M. Lyu, "Achieving Software Quality with Testing Coverage," Computer, vol. 27, pp. 60-69,1994.
-
S. London, and M. Lyu, "Achieving Software Quality with Testing Coverage," Computer, Vol.
-
-
Morgan, J.1
-
14
-
-
0028166441
-
-
16th Int'l Conf. Software Eng., May 1994.
-
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the Effectiveness of Dataflow-and Controlflow-Based Test Adequacy Criteria," Proc. 16th Int'l Conf. Software Eng., May 1994.
-
H. Foster, T. Goradia, and T. Ostrand, "Experiments on the Effectiveness of Dataflow-and Controlflow-Based Test Adequacy Criteria," Proc.
-
-
Hutchins, M.1
-
16
-
-
0026188143
-
-
17, pp. 703-711,1991.
-
B. Jeng and EJ. Weyuker, "Analyzing Partition Testing Strategies," IEEE Trans. Software Eng., vol. 17, pp. 703-711,1991.
-
"Analyzing Partition Testing Strategies," IEEE Trans. Software Eng., Vol.
-
-
Jeng, B.1
Weyuker, E.J.2
-
17
-
-
0024930384
-
-
36-41, Gaithersburg, Md., 1989.
-
L. Lauterbach and W. Randall, "Experimental Evaluation of Six Test Techniques.," COMPASS '89, pp. 36-41, Gaithersburg, Md., 1989.
-
"Experimental Evaluation of Six Test Techniques.," COMPASS '89, Pp.
-
-
Lauterbach, L.1
Randall, W.2
-
19
-
-
0019622073
-
-
30, no. 4, pp. 313-320, Oct. 1981.
-
B. Littlewood, "Stochastic Reliability Growth: A Model with Applications to Computer Software and Hardware Design," IEEE Trans. Reliability, vol. 30, no. 4, pp. 313-320, Oct. 1981.
-
"Stochastic Reliability Growth: A Model with Applications to Computer Software and Hardware Design," IEEE Trans. Reliability, Vol.
-
-
Littlewood, B.1
-
20
-
-
84976723958
-
-
36, no. 11, pp. 69-80,1993.
-
B. Littlewood and L. Strigini, "Validation of Ultra-High Dependability for Software-Based Systems," Comm. ACM, vol. 36, no. 11, pp. 69-80,1993.
-
"Validation of Ultra-High Dependability for Software-Based Systems," Comm. ACM, Vol.
-
-
Littlewood, B.1
Strigini, L.2
-
22
-
-
0027151027
-
-
15th Int'l Conf. Software Eng., pp. 287-301, Baltimore, Md., 1993.
-
P. Piwowarski, M. Ohba, and J. Caruso, "Coverage Measurement Experience During Function Test," Proc. 15th Int'l Conf. Software Eng., pp. 287-301, Baltimore, Md., 1993.
-
M. Ohba, and J. Caruso, "Coverage Measurement Experience during Function Test," Proc.
-
-
Piwowarski, P.1
-
24
-
-
5344270031
-
-
13, no. 9, pp. 1,027-1,037, Sept. 1987.
-
R. Selby, V.R. Basili, and T. Baker, "Cleanroom Software Development: An Empirical Evaluation," IEEE Trans. Soft. Eng., vol. 13, no. 9, pp. 1,027-1,037, Sept. 1987.
-
V.R. Basili, and T. Baker, "Cleanroom Software Development: An Empirical Evaluation," IEEE Trans. Soft. Eng., Vol.
-
-
Selby, R.1
-
25
-
-
0027629471
-
-
19, pp. 687-697, July 1993.
-
M.Z. Tsoukalas, J.W. Duran, and S.C. Ntafos, "On Some Reliability Estimation Problems in Random and Partition Testing," IEEE Trans. Software Eng., vol. 19, pp. 687-697, July 1993.
-
J.W. Duran, and S.C. Ntafos, "On Some Reliability Estimation Problems in Random and Partition Testing," IEEE Trans. Software Eng., Vol.
-
-
Tsoukalas, M.Z.1
-
26
-
-
33747265253
-
-
1994.
-
W.E. Wong, J.R. Horgan, S. London, and A.P. Mathur, "Effect of Test Set Size and Block Coverage on The Fault Detection Effectiveness," Technical Report SERC-TR-153-P, SERC, 1994.
-
J.R. Horgan, S. London, and A.P. Mathur, "Effect of Test Set Size and Block Coverage on the Fault Detection Effectiveness," Technical Report SERC-TR-153-P, SERC
-
-
Wong, W.E.1
|