Forward Computation of Dynamic Program Slices. - Bogdan Korel; Satish Yalamanchili (ISSTA, 1994)