A methodology for controlling the size of a test suite | Synapse