Cunha, J. C.; Lourenço, J.; Duarte, V. Using DDBG to Support Testing and High-Level Debugging Interfaces. Comput. Inform. 2012, 17, 429-439.