A test generation strategy for pairwise testing | Synapse