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

Figure 1

The program numfun computing a numeric function, the test input, and the expected test output.