SMS: Interprocedural dynamic slicing with applications to debugging and testing /