Manuscript Oai282-A@1 · Oai282-A.tex · section · 5b6134ec

What would make finite tests complete?

The finite local-Ward certificate › What would make finite tests complete? · lines 1055–1061

Back to manuscript

Injectivity is a sufficient coverage condition. A particular target decision can sometimes be complete under weaker conditions. No statement about an unavailable defect family is made by writing down the evaluation matrix.

Nearby in this section