Exploiting the debug interface to support on-line test of control flow errors | Publicación