Using Machine Learning to Refine Category-Partition Test Specifications and Test Suites