suites in a systematic and possibly automated manner whereas examining test models