Assertion: path coverage | /r/CapableOf | imply decision
Facets:
Source sentences:
text: For instance, path coverage implies decision, statement and entry/exit coverage.