Mega, G., & Kon, F. (2009). Extensible Symbolic Debugging for Distributed Object Systems. In Anais do XXII Concurso de Teses e Dissertações, (pp. 73-80). Porto Alegre: SBC.