Slicing program with arbitrary control-flow (1993)

by T Ball, S Horwitz
Venue:In Proc. International Workshop on Automated and Algorithmic Debugging