Research Article

Automatic Testing of Program Slicers

Figure 3

A method to produce quasi-minimal slices.