Figure 6:
Labeling the test cases through the redundancy detection process.