CategorizationModel
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABC
1
CategoryTypeLikely Cause
2
Specification errorpreconditionStrong precondition
3
Weak postcondition
4
postconditionWeak precondition
5
Strong postcondition
6
invariantWeak precondition
7
Strong invariant
8
constraintWeak precondition
9
Strong constraint
10
evaluationWeak precondition
11
Strong postcondition
12
Code error-Code error
13
Undefined-Undefined
Loading...
Main menu