Exception-sensitive program slicing | Publicación