Assertion: system model | /r/HasProperty | executed in this approach
Facets:
value: symbolically
type: MANNER
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.