A history-based test prioritization technique for regression testing in resource constrained environments
the category - partition method for specifying and generating functional tests .