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

Table 1

Statement 𝑛	Cond. 𝐸	Potential relevant variables PR
while   𝐸{	TRUE	PR(𝑛,TRUE)=∅
𝐵
}	FALSE	PR(𝑛,FALSE)={𝑚∣𝑚definedin𝐵}
if   𝐸{	TRUE	PR(𝑛,TRUE)={𝑚∣𝑚definedin𝐵2}
𝐵1
}  else  {	FALSE	PR(𝑛,FALSE)={𝑚∣𝑚definedin𝐵1}
𝐵2
}