An empirical study of regression test application frequency
the category - partition method for specifying and generating functional tests .