Assertion: model | /r/CapableOf | derive test cases
Facets:
Source sentences:
text: To derive test cases, the model is partitioned into equivalence classes over the valid interpretation of the set of the predicates describing the system under test.