“…We use prioritized pairwise test suites generated by pricot [2] for the constructed SUT models with constraints and weights. For each model, we use nine variants of test suites generated with the following prioritization orders: 1) cs, 2) co, 3) cf, 4) cs.co, 5) co.cs, 6) cs.cf, 7) co.cf, 8) cs.co.cf, and 9) co.cs.cf.…”