Cunha, José C., João Louren{\c c}o, and Vitor Duarte. "Using DDBG to Support Testing and High-level Debugging Interfaces." Computers and Artificial Intelligence. 17 (1998).