Ruoso, Vinicius, Luis Carlos E. Bona, and Elias P. Duarte Jr..
"Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD." <em>Anais do XV Workshop de Testes e Tolerância a Falhas,
Florianópolis/SC, 2014</em>. SBC, 2014,  
pp.31-44.