Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach

Figure 8

Comparison of the number of minimal diagnoses and the number of valid minimal diagnoses. The used program variants deal with single faults.