-
2
-
-
84977307274
-
Robust testing of AT&T PMX/StarMAIL using OATS
-
R. Brownlie, J. Prowse, and M. S. Padke. Robust testing of AT&T PMX/StarMAIL using OATS. AT&T Technical Journal, 71(3):41-7, 1992.
-
(1992)
AT&T Technical Journal
, vol.71
, Issue.3
, pp. 41-47
-
-
Brownlie, R.1
Prowse, J.2
Padke, M.S.3
-
5
-
-
0000673732
-
The AETG system: An approach to testing based on combinatorial design
-
D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton. The AETG system: an approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7):437-44, 1997.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
6
-
-
26144438975
-
Method and system for automatically generating efficient test cases for systems having interacting elements
-
United States Patent, Number 5,542,043
-
D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton. Method and system for automatically generating efficient test cases for systems having interacting elements United States Patent, Number 5,542,043, 1996.
-
(1996)
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
7
-
-
0030242266
-
The combinatorial design approach to automatic test generation
-
D. M. Cohen, S. R. Dalal, J. Parelius, and G. C. Patton. The combinatorial design approach to automatic test generation. IEEE Software, 13(5):83-8, 1996.
-
(1996)
IEEE Software
, vol.13
, Issue.5
, pp. 83-88
-
-
Cohen, D.M.1
Dalal, S.R.2
Parelius, J.3
Patton, G.C.4
-
8
-
-
0000895987
-
New techniques for designing qualitatively independent systems
-
D. M. Cohen and M. L. Fredman. New techniques for designing qualitatively independent systems. Journal of Combinatorial Designs, 6(6):411-16, 1998.
-
(1998)
Journal of Combinatorial Designs
, vol.6
, Issue.6
, pp. 411-416
-
-
Cohen, D.M.1
Fredman, M.L.2
-
10
-
-
0032660359
-
Model-based testing in practice
-
New York
-
S. R. Dalal, A. J. N. Karunanithi, J. M. L. Leaton, G. C. P. Patton, and B. M. Horowitz. Model-based testing in practice. In Proc. of the Intl. Conf. on Software Engineering,(ICSE '99), 1999, pp. 285-94, New York.
-
Proc. of the Intl. Conf. on Software Engineering,(ICSE '99), 1999
, pp. 285-294
-
-
Dalal, S.R.1
Karunanithi, A.J.N.2
Leaton, J.M.L.3
Patton, G.C.P.4
Horowitz, B.M.5
-
11
-
-
0002535331
-
New optimization heuristics - The great deluge algorithm and the record-to-record travel
-
G. Dueck. New optimization heuristics - the great deluge algorithm and the record-to-record travel. Journal of Computational Physics, 104:86-92, 1993.
-
(1993)
Journal of Computational Physics
, vol.104
, pp. 86-92
-
-
Dueck, G.1
-
12
-
-
0030615507
-
Applying design of experiments to software testing
-
New York
-
I. S. Dunietz, W. K. Ehrlich, B. D. Szablak, C. L. Mallows, and A. Iannino. Applying design of experiments to software testing. In Proc. of the Intl. Conf. on Software Engineering, (ICSE'97), 1997, pp. 205-215, New York.
-
Proc. of the Intl. Conf. on Software Engineering, (ICSE'97), 1997
, pp. 205-215
-
-
Dunietz, I.S.1
Ehrlich, W.K.2
Szablak, B.D.3
Mallows, C.L.4
Iannino, A.5
-
13
-
-
0000216610
-
Capacities: From information theory to extremal set theory
-
L. Gargano, J. Körner, and U. Vaccaro. Capacities: from information theory to extremal set theory. J. Combin. Theory Ser. A, 68(2):296-316, 1994.
-
(1994)
J. Combin. Theory Ser. A
, vol.68
, Issue.2
, pp. 296-316
-
-
Gargano, L.1
Körner, J.2
Vaccaro, U.3
-
15
-
-
0038695327
-
Two applications (for search theory and truth functions) of Sperner type theorems
-
G. Katona. Two applications (for search theory and truth functions) of Sperner type theorems. Periodica Math., 3:19-26, 1973.
-
(1973)
Periodica Math.
, vol.3
, pp. 19-26
-
-
Katona, G.1
-
16
-
-
0000294926
-
Families of k-independent sets
-
D. Kleitman and J. Spencer. Families of k-independent sets. Discrete Math, 6:255-262, 1973.
-
(1973)
Discrete Math
, vol.6
, pp. 255-262
-
-
Kleitman, D.1
Spencer, J.2
-
17
-
-
0022146411
-
Orthogonal latin squares: An application of experiment design to compiler testing
-
R. Mandl. Orthogonal latin squares: an application of experiment design to compiler testing. Communications of the ACM, 28(10):1054-8, 1985.
-
(1985)
Communications of the ACM
, vol.28
, Issue.10
, pp. 1054-1058
-
-
Mandl, R.1
-
18
-
-
0038695329
-
Constructing covering designs by simulated annealing
-
Technical Report Digital Systems Laboratory, Helsinki Univ of Technology
-
K. Nurmela and P. R. J. Östergaard. Constructing covering designs by simulated annealing. Technical Report Digital Systems Laboratory, Helsinki Univ of Technology, 1993.
-
(1993)
-
-
Nurmela, K.1
Östergaard, P.R.J.2
-
19
-
-
4243566311
-
Constructions of mixed covering codes
-
Technical report, Digital Systems Laboratory, Helsinki Univ. of Technology
-
P. R. J. Östergård. Constructions of mixed covering codes. Technical report, Digital Systems Laboratory, Helsinki Univ. of Technology, 1991.
-
(1991)
-
-
Östergård, P.R.J.1
-
21
-
-
0000319342
-
Covering arrays and intersecting codes
-
N. Sloane. Covering arrays and intersecting codes. Journal of Combinatorial Designs, 1(1):51-63, 1993.
-
(1993)
Journal of Combinatorial Designs
, vol.4
, Issue.1
, pp. 51-63
-
-
Sloane, N.1
-
22
-
-
0037681035
-
Metaheuristics and the search for covering and packing arrays
-
Master's thesis, Simon Fraser University
-
J. Stardom. Metaheuristics and the search for covering and packing arrays. Master's thesis, Simon Fraser University, 2001.
-
(2001)
-
-
Stardom, J.1
-
25
-
-
0037681008
-
Lower bounds for transversal covers
-
B. Stevens, L. Moura, and E. Mendelsohn. Lower bounds for transversal covers. Designs Codes and Cryptography, 15(3):279-299, 1998.
-
(1998)
Designs Codes and Cryptography
, vol.15
, Issue.3
, pp. 279-299
-
-
Stevens, B.1
Moura, L.2
Mendelsohn, E.3
-
26
-
-
0036160958
-
A test generation strategy for pairwise testing
-
K. C. Tai and L. Yu. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 28(1):109-111, 2002.
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.1
, pp. 109-111
-
-
Tai, K.C.1
Yu, L.2
-
30
-
-
0034431994
-
Automating test case generation for the new generation mission software system
-
T. Yu-Wen and W. S. Aldiwan. Automating test case generation for the new generation mission software system. In Proc. IEEE Aerospace Conf., 2000, pp. 431-437.
-
Proc. IEEE Aerospace Conf., 2000
, pp. 431-437
-
-
Yu-Wen, T.1
Aldiwan, W.S.2
|