Dynamic slicing based on redex trails | Publicación