Harrold et al. have defined the problem of minimizing the test suite as given below.

Given: A test suite TS; a set of test case requirements $r_{1}, r_{2}, \ldots, r_{n}$ that must be satisfied to provide the desired testing coverage of the program; and subsets of $\mathrm{TS}, T_{1}, T_{2}, \ldots, …