Test set T is statement (branch) adequate for … which causes the statement (branch) to be exercised. … [p. 673] What is common to each of these … if some portion of the program has never … unable to detect these faults. We there propose: … P to be executed.
Google-1
Google-2
Copyright clearance needed for quotation.