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

<table>The correlation of the number of diagnoses to be tested (Total diag.) and the computation time (Time, in milliseconds).</table>

Advances in Software Engineering

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