Ruoso, Vinicius, Luis Carlos E. Bona, and Elias P. Duarte Jr.. " Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD." Proceedings of the 15th Workshop on Testing and Fault Tolerance, Florianópolis/SC, 2014. SBC, 2014, pp.31-44.