A. Dias-Neto and G. Travassos.
" Seleção de Técnicas de Teste Baseado em Modelos", in <em>Anais do IX Simpósio Brasileiro de Qualidade de Software</em>, Belém, 2010, pp. 393-407, doi: <a href="https://doi.org/10.5753/sbqs.2010.15449">https://doi.org/10.5753/sbqs.2010.15449</a>.