Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
the category - partition method for specifying and generating functional tests .