-
5
-
-
0030291196
-
Software-reliability-engineered testing
-
Musa JD. Software-Reliability-Engineered testing. Computer, 1996, 29(11): 61-68.
-
(1996)
Computer
, vol.29
, Issue.11
, pp. 61-68
-
-
Musa, J.D.1
-
7
-
-
0000714233
-
On the expected number of failures detected by subdomain testing and random testing
-
Chen TY, Yu YT. On the expected number of failures detected by subdomain testing and random testing. IEEE Trans. on Software Engineering, 1996, 22(2): 109-119.
-
(1996)
IEEE Trans. on Software Engineering
, vol.22
, Issue.2
, pp. 109-119
-
-
Chen, T.Y.1
Yu, Y.T.2
-
8
-
-
0027555385
-
A formal analysis of the fault-detecting ability of testing methods
-
Frankl PG, Weyuker EJ. A formal analysis of the fault-detecting ability of testing methods. IEEE Trans. on Software Engineering, 1993, 19(2): 202-213.
-
(1993)
IEEE Trans. on Software Engineering
, vol.19
, Issue.2
, pp. 202-213
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
9
-
-
0033352121
-
Partition testing vs. random testing: The influence of uncertainty
-
Gutjahr WJ. Partition testing vs. random testing: The influence of uncertainty. IEEE Trans. on Software Engineering, 1999, 25(5): 661-674.
-
(1999)
IEEE Trans. on Software Engineering
, vol.25
, Issue.5
, pp. 661-674
-
-
Gutjahr, W.J.1
-
10
-
-
0031354777
-
Test coverage and adequacy
-
Zhu H, Hall PA, May JHR. Test coverage and adequacy. ACM Computing Surveys, 1997, 129(4): 366-427.
-
(1997)
ACM Computing Surveys
, vol.129
, Issue.4
, pp. 366-427
-
-
Zhu, H.1
Hall, P.A.2
May, J.H.R.3
-
11
-
-
0034155447
-
Failure correlation in software reliability models
-
Katerina GP, Trivedi KS. Failure correlation in software reliability models. IEEE Trans. on Reliability, 2000, 49(1): 37-48.
-
(2000)
IEEE Trans. on Reliability
, vol.49
, Issue.1
, pp. 37-48
-
-
Katerina, G.P.1
Trivedi, K.S.2
-
12
-
-
0008533746
-
A binary Markov process model for random testing
-
Chen S, Mills S. A binary Markov process model for random testing. IEEE Trans. on Software Engineering, 1996, 22(3): 218-223.
-
(1996)
IEEE Trans. on Software Engineering
, vol.22
, Issue.3
, pp. 218-223
-
-
Chen, S.1
Mills, S.2
-
14
-
-
16744368711
-
An empirical Bayesian stopping rule in testing and verification of behavioral models
-
Sahinoglu M. An empirical Bayesian stopping rule in testing and verification of behavioral models. IEEE Trans. on Instrumentation and Measurement, 2003, 52(5): 1428-1443.
-
(2003)
IEEE Trans. on Instrumentation and Measurement
, vol.52
, Issue.5
, pp. 1428-1443
-
-
Sahinoglu, M.1
-
15
-
-
17944371655
-
-
http: //software.ccidnet.com/pub/disp/Article-columnID=375&article ID=25560&pageNO=1. 2002.
-
(2002)
-
-
-
16
-
-
0035481183
-
Prioritizing test cases for regression testing
-
Rothermel G, Untch RH, Chu C, Harrold MJ. Prioritizing test cases for regression testing. IEEE Trans. on Software Engineering, 2001, 27(10): 929-948.
-
(2001)
IEEE Trans. on Software Engineering
, vol.27
, Issue.10
, pp. 929-948
-
-
Rothermel, G.1
Untch, R.H.2
Chu, C.3
Harrold, M.J.4
|