Combining algorithmic debugging and program slicing | Publicación