Combining Slicing and Constraint Solving for Better Debugging: The C<small class="sc">ONBAS</small> Approach

<table>The execution trace of <span style="font-family:monospace">numfun</span> (Figure <a href="../fig1/">1</a>) enhanced with data and control dependences.</table>

Advances in Software Engineering

fig5

Figure 5

Figure 5: Combining Slicing and Constraint Solving for Better Debugging: The C<small class="sc">ONBAS</small> Approach 

Advances in Software Engineering

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

Figure 5