The goal of program slicing is, given a program and a slicing criterion, for example, a set of variables, to identify and safely remove program fragments that do not affect the program behavior, with respect to the slicing ...