Frankl, Phylis G. Weyuker, Elaine J.

Provable Improvements on Branch Testing - 962-976 p.


Condition
Data Flow Analysis
Program Trans Formations