A revitalized interprocedural slicing in the presence of derived and user defined data types | IEEE Conference Publication | IEEE Xplore