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.