Adaptive Random Testing: the ART of Test Case Diversity
the category - partition method for specifying and generating functional tests .