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

Figure 4

The execution trace of numfun (Figure 1).