Assertion: model | /r/HasProperty | partitioned into equivalence classes
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.