Tukra: An Abstract Program Slicing Tool.

Raju Halder, Agostino Cortesi

Browse the full ICSoft paper archive.