Ronaldo Ferreira, Álvaro Moreira, and Luigi Carro. 2010. Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes. In Anais do XI Workshop de Testes e Tolerância a Falhas, maio 28, 2010, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 133-145. DOI: https://doi.org/10.5753/wtf.2010.23101.