A | B | C | D | E | F | G | H | I | |
---|---|---|---|---|---|---|---|---|---|
1 | System | #Clauses | #Errors | Time w/o contracts | Time to compile with Contracts | #Tests | #CommonCase | #AppSpecific | #Repetitive |
2 | ABC-Music-Player | 115 | 2 | 1 | 9 | 30 | 42 | 11 | 62 |
3 | Dishevelled | 2,655 | 381 | 59 | 434 | 2,643 | 1,536 | 151 | 968 |
4 | Jenerics | 190 | 7 | 1 | 20 | 44 | 156 | 0 | 34 |
5 | OOP Aufgabe3 | 54 | 1 | 1 | 4 | 11 | 16 | 30 | 8 |
6 | SimpleShop | 50 | 0 | 1 | 5 | 0 | 30 | 11 | 9 |
7 | Webprotégé | 930 | 0 | 19 | 713 | 0 | 717 | 80 | 133 |
8 | Total | 3,994 | 391 | 82 | 1,185 | 2,728 | 2,497 | 283 | 1,214 |