TY  - SER
AU  - Frankl, Phylis G.
AU  - Weyuker, Elaine J.
TI  - Provable Improvements on Branch Testing
KW  - Condition
KW  - Data Flow Analysis
KW  - Program Trans Formations
ER  -