Assertion: stub | /r/CapableOf | encourage programmatic models
Facets:
Source sentences:
text: Stubs was designed provide a minimal overhead to the Pex white box analysis, and Stubs supports the Code Contracts runtime rewriter and encourage the programmatic models rather than record/replay tests.