Automatic Testing of Program Slicers

Figure 2

An Erlang program and its minimal slice for a slicing criterion.

(a)

(b)