Slicing programs with arbitrary control flow (1993)

by T Ball, S Horwitz
Venue:Lecture Notes in Computer Science