The program dependence graph in static program testing (1987)

by B Korel
Venue:Information Processing Letters 24(2