| A | B | C | D | E | F | G | H | I | |
|---|---|---|---|---|---|---|---|---|---|
1 | Language | Experimental Unit | #Pre/#CC | #Post/#CC | #Inv/#CC | #Const/#CC | CCo | Contract Type | Nonconformance Type |
2 | JML | Bank | 0.524 | 0.341 | 0.135 | 0.000 | 0.16 | Precondition | Postcondition and Invariant |
3 | Bomber | 0.355 | 0.645 | 0.000 | 0.000 | 0.02 | Postcondition | Postcondition and Invariant | |
4 | Dnivra-Jive | 0.210 | 0.755 | 0.035 | 0.000 | 0.62 | Postcondition | Postcondition | |
5 | HealthCard | 0.634 | 0.231 | 0.102 | 0.033 | 0.47 | Precondition | Invariant | |
6 | JAccounting | 0.505 | 0.485 | 0.010 | 0.000 | 0.03 | Precondition | Invariant | |
7 | Javacard | 0.424 | 0.121 | 0.455 | 0.000 | 0.01 | Invariant | Invariant | |
8 | Mondex | 0.161 | 0.598 | 0.224 | 0.017 | 0.27 | Postcondition | Invariant | |
9 | PayCard | 0.269 | 0.513 | 0.218 | 0.000 | 0.71 | -- | -- | |
10 | PokerTop | 0.421 | 0.500 | 0.079 | 0.000 | 0.61 | Postcondition | Invariant | |
11 | Samples | 0.372 | 0.497 | 0.129 | 0.001 | 0.48 | Postcondition | Postcondition | |
12 | TheSchorrWaiteAlgorithm | 0.478 | 0.391 | 0.130 | 0.000 | 0.21 | Precondition | Postcondition and Invariant | |
13 | TransactedMemory | 0.505 | 0.176 | 0.315 | 0.003 | 0.17 | Precondition | Invariant | |
14 | Mean | 0.442 | 0.42 | 0.129 | 0.009 | 0.31 | -- | -- | |