-
2
-
-
0028751768
-
On the Relationship between Partition and Random Testing
-
T.Y. Chen and Y.T. Yu, "On the Relationship between Partition and Random Testing," IEEE Trans. Software Eng., vol. 20, pp. 977-980, 1994.
-
(1994)
IEEE Trans. Software Eng.
, vol.20
, pp. 977-980
-
-
Chen, T.Y.1
Yu, Y.T.2
-
3
-
-
0006505761
-
A More General Sufficient Condition for Partition Testing to be Better than Random Testing
-
T.Y. Chen and Y.T. Yu, "A More General Sufficient Condition for Partition Testing to be Better than Random Testing," Information Processing Letters, vol. 57, pp. 145-149, 1996.
-
(1996)
Information Processing Letters
, vol.57
, pp. 145-149
-
-
Chen, T.Y.1
Yu, Y.T.2
-
4
-
-
0022298284
-
A Test Oracle Based on Formal Specifications
-
San Francisco, Dec.
-
J.D. Day and J.D. Cannon, "A Test Oracle Based on Formal Specifications," Softfair, A Second Conf. Software Development Tools, Techniques, and Alternatives, pp. 126-130, San Francisco, Dec. 1985.
-
(1985)
Softfair, A Second Conf. Software Development Tools, Techniques, and Alternatives
, pp. 126-130
-
-
Day, J.D.1
Cannon, J.D.2
-
6
-
-
0022232712
-
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors
-
D.E. Eckhardt and L.D. Lee, "A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors," IEEE Trans. Software Eng., vol. 11, pp. 1,511-1,517, 1985.
-
(1985)
IEEE Trans. Software Eng.
, vol.11
, pp. 1511-1517
-
-
Eckhardt, D.E.1
Lee, L.D.2
-
7
-
-
0343561274
-
Combining Probabilistic and Deterministic Verification Efforts
-
H. Frey, ed., Oxford, England: Pergamon
-
W.D. Ehrenberger, "Combining Probabilistic and Deterministic Verification Efforts," Proc. SAFECOMP'92, H. Frey, ed., Oxford, England: Pergamon, pp. 299-304, 1992.
-
(1992)
Proc. SAFECOMP'92
, pp. 299-304
-
-
Ehrenberger, W.D.1
-
8
-
-
0027555385
-
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
-
P.G. Frankl and E.J. Weyuker, "A Formal Analysis of the Fault-Detecting Ability of Testing Methods," IEEE Trans. Software Eng., vol. 19, pp. 202-213, 1993.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, pp. 202-213
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
9
-
-
0027680735
-
Provable Improvements on Branch Testing
-
P.G. Frankl and E.J. Weyuker, "Provable Improvements on Branch Testing," IEEE Trans. Software Eng., vol. 19, pp. 962-975, 1993.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, pp. 962-975
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
10
-
-
0020849983
-
A Mathematical Framework for the Investigation of Testing
-
J.S. Gourlay, "A Mathematical Framework for the Investigation of Testing," IEEE Trans. Software Eng., vol. 9, pp. 686-709, 1983.
-
(1983)
IEEE Trans. Software Eng.
, vol.9
, pp. 686-709
-
-
Gourlay, J.S.1
-
11
-
-
0029270728
-
Optimal Test Distributions for Software Failure Cost Estimation
-
W.J. Gutjahr, "Optimal Test Distributions for Software Failure Cost Estimation," IEEE Trans. Software Eng., vol. 21, pp. 219-228, 1995.
-
(1995)
IEEE Trans. Software Eng.
, vol.21
, pp. 219-228
-
-
Gutjahr, W.J.1
-
12
-
-
0031484862
-
Importance Sampling of Test Cases in Markovian Software Usage Models
-
W.J. Gutjahr, "Importance Sampling of Test Cases in Markovian Software Usage Models," Probability in the Eng. and Informational Sciences, vol. 11, pp. 19-36, 1997.
-
(1997)
Probability in the Eng. and Informational Sciences
, vol.11
, pp. 19-36
-
-
Gutjahr, W.J.1
-
13
-
-
33749952667
-
Efficient Selection of Test Data from a Polyhedral Input Domain
-
U. Derigs et al., eds., Berlin: Springer
-
W.J. Gutjahr and G. Danninger, "Efficient Selection of Test Data from a Polyhedral Input Domain," Operations Research Proc. 1994, U. Derigs et al., eds., pp. 233-238, Berlin: Springer, 1995.
-
(1995)
Operations Research Proc. 1994
, pp. 233-238
-
-
Gutjahr, W.J.1
Danninger, G.2
-
14
-
-
0025530786
-
Partition Testing Does Not Inspire Confidence
-
R. Hamlet and R. Taylor, "Partition Testing Does Not Inspire Confidence," IEEE Trans. Software Eng., vol. 16, pp. 1,402-1,411, 1990.
-
(1990)
IEEE Trans. Software Eng.
, vol.16
, pp. 1402-1411
-
-
Hamlet, R.1
Taylor, R.2
-
19
-
-
0016522101
-
System Structure for Software Fault Tolerance
-
B. Randell, "System Structure for Software Fault Tolerance," IEEE Trans. Software Eng., vol. 1, pp. 220-232, 1975.
-
(1975)
IEEE Trans. Software Eng.
, vol.1
, pp. 220-232
-
-
Randell, B.1
-
22
-
-
0027629471
-
On Some Reliability Estimation Problems in Random and Partition Testing
-
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, 1993.
-
(1993)
IEEE Trans. Software Eng.
, vol.19
, pp. 687-697
-
-
Tsoukalas, M.Z.1
Duran, J.W.2
Ntafos, S.C.3
-
23
-
-
0029221754
-
Statistical Testing of Software Based on a Usage Model
-
G.H. Walton, J.H. Poore, and C.J. Trammell, "Statistical Testing of Software Based on a Usage Model," Software-Practice and Experience, vol. 25, pp. 97-108, 1995.
-
(1995)
Software-Practice and Experience
, vol.25
, pp. 97-108
-
-
Walton, G.H.1
Poore, J.H.2
Trammell, C.J.3
-
24
-
-
0026188143
-
Analyzing Partition Testing Strategies
-
E.J. Weyuker and B. Jeng, "Analyzing Partition Testing Strategies," IEEE Trans. Software Eng., vol. 17, pp. 703-711, 1991.
-
(1991)
IEEE Trans. Software Eng.
, vol.17
, pp. 703-711
-
-
Weyuker, E.J.1
Jeng, B.2
-
25
-
-
0019019881
-
Theories of Program Testing and the Application of Revealing Subdomains
-
E.J. Weyuker and T.J. Ostrand, "Theories of Program Testing and the Application of Revealing Subdomains," IEEE Trans. Software Eng., vol. 6, pp. 236-245, 1980.
-
(1980)
IEEE Trans. Software Eng.
, vol.6
, pp. 236-245
-
-
Weyuker, E.J.1
Ostrand, T.J.2
-
26
-
-
0041037289
-
Comparison of Program Testing Strategies
-
E.J. Weyuker, St. N. Weiss, and R. Hamlet, "Comparison of Program Testing Strategies," Proc. Fourth Symp. Testing, Analysis and Verification, pp. 1-10, 1991.
-
(1991)
Proc. Fourth Symp. Testing, Analysis and Verification
, pp. 1-10
-
-
Weyuker, E.J.1
Weiss, S.N.2
Hamlet, R.3
-
27
-
-
0000083306
-
The Applicability of Program Schema Results to Programs
-
E.J. Weyuker, "The Applicability of Program Schema Results to Programs," Int. J. Computing Information Sciences, vol. 8, pp. 387-403, 1979.
-
(1979)
Int. J. Computing Information Sciences
, vol.8
, pp. 387-403
-
-
Weyuker, E.J.1
|