Research Article

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

Table 3

Results for double faults.

Program Faults in Red. Slice LOC
Sum. Slice Red. Slice

6d 2 15 9 6
7d 2 15 9 6
8d 2 15 7 4
9d 2 15 9 5
Taste 10d 2 15 7 4
11d 2 15 7 4
12d 2 15 9 6
13d 2 15 9 6
14d 2 15 9 6
15d 2 15 9 2

6d 1 22 6 1
7d 1 22 12 7
SumPowers 8d 2 22 13 7
9d 1 22 6 1
10d 1 22 6 1
11d 1 22 12 7

4d  1 14 6 3
WhileLoops 5d 1 14 7 7
6d 1 14 6 3

6d 1 14 8 3
7d 1 14 8 3
ProdSum 8d 1 14 8 3
9d 1 14 8 2
10d 2 14 8 2
11d 1 14 8 2

Average 16.3 8.2 4.0