| A | B | C | |
|---|---|---|---|
1 | Category | Type | Likely Cause |
2 | Specification error | precondition | Strong precondition |
3 | Weak postcondition | ||
4 | postcondition | Weak precondition | |
5 | Strong postcondition | ||
6 | invariant | Weak precondition | |
7 | Strong invariant | ||
8 | constraint | Weak precondition | |
9 | Strong constraint | ||
10 | evaluation | Weak precondition | |
11 | Strong postcondition | ||
12 | Code error | - | Code error |
13 | Undefined | - | Undefined |