Arya, Dheeraj Kumar and Kumar, Rakesh (2012) Static Slicing of Interprocedural Programs. BTech thesis.