Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task for grid applications. From a formal me
Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particular computation. The current slicing met