Ruoso, Vinicius, Bona, Luis, E Duarte Jr., Elias. " Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD" Anais do Workshop de Testes e Tolerância a Falhas (WTF) [Online], (5 maio 2014)