A Hybrid Program Slicing Framework. - Juergen Rilling; Bhaskar Karanth (SCAM, 2001)