Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Journal Article

Automated Combinatorial Test Methods Beyond Pairwise Testing

Published: June 02, 2008
Citation: Crosstalk (Hill AFB): the Journal of Defense Software Engineering vol. 21, no. 6, (June 2008) pp. 22-26

Author(s)

Richard Kuhn, Raghu Kacker, Yu Lei

Abstract

Keywords

combinatorial testing; formal methods; model checking; pairwise testing; software assurance; software testing
Control Families

None selected

Documentation

Publication:
Article

Supplemental Material:
None available

Topics

Security and Privacy
assurance; modeling; testing & validation

Technologies
software