We say a finite test set T is … not embedded in P', but for which P'(T) … distinguish P from all programs which are no … have shown [Information and Control 56.1-2:52-71, 1983] that modified size adequacy essentially … [p.1137] Only [modified size adequacy satisfied all eight axioms and] the three desirable properties as …
Google-1
Google-2
Copyright clearance needed for quotation.