Combinatorial Testing of ACTS: A Case Study
the category - partition method for specifying and generating functional tests .