José C. Cunha João Lourenço Vítor Duarte Using DDBG to Support Testing and High-level Debugging Interfaces. 1998 17 Computers and Artificial Intelligence 5 db/journals/cai/cai17.html#CunhaLD98