Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Figure 11
Comparison of the REDUCTION quality for a different number of faulty output variables for the Iscas 85 benchmark. The central lines of the boxes indicate the median of the reduction. The diamonds indicate the arithmetic mean of the reduction. The whiskers extend to the most extreme data points not considered as outliers. Outliers are plotted individually as crosses.