Test-suite reduction for model based tests: effects on test quality and implications for testing