Constructing strength three covering arrays with augmented annealing

Discrete Mathematics

Volumn 308, Issue 13, 2008, Pages 2709-2722

  Cohen, Myra B ^a   Colbourn, Charles J ^b   Ling, Alan C H ^c  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^b Arizona State University   (United States)

^c University of Vermont   (United States)

Author keywords

Combinatorial design; Covering array; Generalized Hadamard matrix; Heuristic search; Orthogonal array; Simulated annealing; Software testing

Indexed keywords

ALGEBRA; CODES (SYMBOLS); COMBINATORIAL MATHEMATICS; HEURISTIC ALGORITHMS; SIMULATED ANNEALING; SOFTWARE TESTING; VIRTUAL REALITY;

COMBINATORIAL DESIGNS; COVERING ARRAYS; GENERALIZED HADAMARD MATRIX; ORTHOGONAL ARRAYS;

SET THEORY;

EID: 41549154144     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.disc.2006.06.036     Document Type: Article

References (25)

1. P.J. Cameron, Notes on Classical Groups, Queen Mary, University of London, School of Mathematical Sciences, 2000. 〈http://www.maths.qmw.ac.uk/pjc/books.html〉.
2. Chateauneuf M.A., Colbourn C.J., and Kreher D.L. Covering arrays of strength three. Designs Codes and Cryptography 16 (1999) 235-242
3. Chateauneuf M.A., and Kreher D.L. On the state of strength-three covering arrays. J. Combin. Designs 10 4 (2002) 217-238
4. Cohen D.M., Dalal S.R., Fredman M.L., and Patton G.C. The AETG system: an approach to testing based on combinatorial design. IEEE Trans. Software Eng. 23 7 (1997) 437-444
5. Cohen D.M., and Fredman M.L. New techniques for designing qualitatively independent systems. J. Combin. Designs 6 6 (1998) 411-416
6. M.B. Cohen, C.J. Colbourn, J.S. Collofello, P.B. Gibbons, W.B. Mugridge, Variable strength interaction testing of components, in: Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003), Dallas, TX, November 2003, pp. 413-418.
7. M.B. Cohen, C.J. Colbourn, P.B. Gibbons, W.B. Mugridge, Constructing test suites for interaction testing, in: Proceedings of the International Conference on Software Engineering (ICSE 2003), Portland, Oregon, May 2003, pp. 38-49.
8. M.B. Cohen, C.J. Colbourn, A.C.H. Ling, Augmented simulated annealing to build interaction test suites, in: Proceedings of the International Symposium on Software Reliability Engineering (ISSRE 2003), Denver, CO, November 2003, pp. 394-405.
9. Colbourn C.J., and De Launey W. Difference matrices. In: Colbourn C.J., and Dinitz J.H. (Eds). The CRC Handbook of Combinatorial Designs (1996), CRC Press, Boca Raton 287-297
10. C.J. Colbourn, J.H. Dinitz (Eds.), The CRC Handbook of Combinatorial Designs, CRC Press, Boca Raton, 1996.
11. Colbourn C.J., and Dinitz J.H. Making the MOLS table. In: Wallis W.D. (Ed). Computational and Constructive Design Theory (1996), Kluwer Academic Press, Dordrecht 67-134
12. S.R. Dalal, A.J.N. Karunanithi, J.M. Leaton, G.C. Patton, B.M. Horowitz, Model-based testing in practice, in: Proceedings of the International Conference on Software Engineering (ICSE '99), New York, 1999, pp. 285-294.
13. I.S. Dunietz, W.K. Ehrlich, B.D. Szablak, C.L. Mallows, A. Iannino, Applying design of experiments to software testing, in: Proceedings of the International Conference on Software Engineering (ICSE '97), New York, 1997, pp. 205-215.
14. Hedayat A.S., Sloane N.J.A., and Stufken J. Orthogonal Arrays (1999), Springer, New York
15. W.F. Kuhfeld, Marketing Research Methods in SAS. 〈http://support.sas.com/techsup/technote/ts689.pdf〉.
16. Martirosyan S., and TranVanTrung. On t-covering arrays. Designs Codes and Cryptography 32 (2004) 323-339
17. K. Nurmela, P.R.J. Östergȧrd, Constructing covering designs by simulated annealing, Technical Report, Digital Systems Laboratory, Helsinki University of Technology, 1993.
18. Sloane N.J.A. Covering arrays and intersecting codes. J. Combin. Designs 1 1 (1993) 51-63
19. Stevens B., and Mendelsohn E. New recursive methods for transversal covers. J. Combin. Designs 7 3 (1999) 185-203
20. Stevens B., Moura L., and Mendelsohn E. Lower bounds for transversal covers. Designs Codes and Cryptography 15 3 (1998) 279-299
21. Stinson D.R. Cryptography Theory and Practice (1995), CRC Press, Boca Raton, FL
22. Tai K.C., and Yu L. A test generation strategy for pairwise testing. IEEE Trans. Software Eng. 28 1 (2002) 109-111
23. A.W. Williams, R.L. Probert, A practical strategy for testing pair-wise coverage of network interfaces, in: Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996, pp. 246-254.
24. A.W. Williams, R.L. Probert, A measure for component interaction test coverage, in: Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, 2001, pp. 301-311.
25. T. Yu-Wen, W.S. Aldiwan, Automating test case generation for the new generation mission software system, in: Proceedings of the IEEE Aerospace Conference, 2000, pp. 431-437.