Giuliano Mega and Fabio Kon. 2009. Extensible Symbolic Debugging for Distributed Object Systems. In Anais do XXII Concurso de Teses e Dissertações, julho 20, 2009, Bento Gonçalves/RS, Brasil. SBC, Porto Alegre, Brasil, 73-80.