The AETG system: an approach to testing based on combinatorial design | Synapse