J. C. Cunha, J. Lourenço, and V. Duarte, “Using DDBG to support testing and high-level debugging interfaces”, Comput. Inform., vol. 17, no. 5, pp. 429–439, Mar. 2012.