Arilo Claudio Dias-Neto and Guilherme Travassos. 2010.
 Seleção de Técnicas de Teste Baseado em Modelos. In <em>Anais do IX Simpósio Brasileiro de Qualidade de Software</em>, junho 07, 2010, Belém, Brasil. SBC, Porto Alegre, Brasil, 393-407. DOI: <a href="https://doi.org/10.5753/sbqs.2010.15449">https://doi.org/10.5753/sbqs.2010.15449</a>.