1129 ;;Quote: users have the right to expect that all parts of a program were adequately tested, unless notified of environmental restrictions

1131 ;;Quote: axiom, for every program there is an adequate test set that is not an exhaustive

1136 ;;Quote: modified size adequacy subsumes branch adequacy and mutation adequacy; such test sets distinguish a program from most other programs

1137 ;;Quote: axioms of test data adequacy include testable, nontrivial, coverage, complete

1137+;;Quote: an adequate test of a program is not necessarily adequate for its components

1137 ;;Quote: statement and branch adequacy satisfies only five of the eight axioms; need mutation or modified size adequacy