We have developed an axiomatization of software test … testable, that an adequacy criterion must be satisfiable … not be deemed adequately tested. Also, once a … inadequately tested program. Four axioms were in a … not both, may well require different test data. … [one axiom states that] even though a program has been adequately … due in part to the fact that programs …
Google-1
Google-2
Copyright clearance needed for quotation.