A New Dynamic Program Slicing Algorithm Based on Abstract Machine | IEEE Conference Publication | IEEE Xplore