Frankl, Phylis G. Weyuker, Elaine J. Provable Improvements on Branch Testing - 962-976 p. Subjects--Topical Terms: ConditionData Flow AnalysisProgram Trans Formations