V. Ruoso, L. Bona, and E. Duarte Jr.. "Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD", in Anais do XV Workshop de Testes e Tolerância a Falhas, Florianópolis/SC, 2014, pp. 31-44, doi: https://doi.org/10.5753/wtf.2014.22945.