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 |
|
|