Model Partitions and Compact Test Case Suites