Research Article
Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Table 4
Average results for the Iscas 85 benchmark.
| | Circuit | LOC | Exec.
trace | Con. | Int.
var. | Total
diag. | Valid
diag. | Sum.
Slice | Red.
Slice |
| | C17 | 31 | 14 | 26 | 25 | 12 | 5.9 | 9.3 | 5.1 | | C432 | 832 | 398 | 646 | 662 | 874.5 | 373.7 | 328.6 | 108.3 |
| | Average | 339.1 | 161.7 | 264.5 | 270 | 343.8 | 147.3 | 132.1 | 44.8 |
|
|
