Field-sensitive program slicing | Publicación