Combinatorial interaction testing is a hot topic in software testing. This approach has been applied to model-based testing of Software Product Line (SPL). The strategy is to generate a set of product ...