Assertion: system model | /r/CapableOf | collect data constraints
Facets:
value: over different control paths
type: OTHER
Source sentences:
text: In this approach a system model is executed symbolically, i.e. collecting data constraints over different control paths, and then using the constraint programming method for solving the constraints and producing test cases.