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
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.