Research Article
Program Spectra Analysis with Theory of Evidence
Table 4
Siemens program suite.
| Program Name | Versions omitted | No. versions | No. lines | No. test cases |
| print_tokens | 4, 6 | 7 | 475 | 4130 | print_tokens2 | 10 | 10 | 401 | 4115 | replace | 27, 32 | 32 | 512 | 5542 | schedule | 3, 5, 6, 7, 8, 9 | 9 | 292 | 2649 | schedule2 | 9 | 10 | 297 | 2710 | tcas | 38 | 41 | 135 | 1608 | tot_info | none | 23 | 346 | 1052 |
|
|