Cunha, J.C. et al. 2012. Using DDBG to support testing and high-level debugging interfaces. Computing and Informatics. 17, 5 (Mar. 2012), 429–439.