Scaling Up Algorithmic Debugging with Virtual Execution Trees | Publicación