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

<table>The semantics of the language <svg height="12.0625" id="M8" style="vertical-align:-0.20474pt" version="1.1" viewbox="0 0 16.200001 12.0625" width="16.200001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.738)"><path d="M608 643l-12 -19q-56 33 -145 33q-87 0 -154 -42q-68 -42 -68 -115q0 -74 66 -116q67 -42 176 -42q21 0 63 5l29 56q34 66 57 103q43 65 106 113q65 50 122 50q41 0 62 -22t21 -60q0 -67 -87 -144q-88 -76 -217 -110q-46 -101 -119 -186q-72 -83 -136 -108
q71 -23 103 -23q141 0 265 139l19 -14q-131 -156 -281 -156q-84 0 -164 30q-70 -24 -155 -24q-126 0 -126 61q0 24 30 40.5t78 16.5q42 0 85 -16q18 -6 46 -18q26 -11 42 -16q41 26 99 98q58 70 105 158q-26 -3 -53 -3q-50 0 -96.5 10.5t-88.5 31.5t-67 60t-25 90
q0 78 73 130q74 53 182 53q98 0 165 -44zM890 588q0 44 -49 44q-55 0 -109 -80q-54 -81 -89 -183q46 12 104 45q64 35 103.5 81t39.5 93zM266 35v1q-73 43 -125 43q-67 0 -67 -25q0 -33 87 -33q65 0 105 14z" id="x2112"></path></g>
</svg>.</table>

Advances in Software Engineering

fig2

Figure 2

Figure 2: 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 2