Ruoso, V., Bona, L., & Duarte Jr., E. 2014 mai 5. Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :