C. Farias and P. Machado.
"Um Método de Teste Funcional para Verificação de Componentes", in <em>Anais do XVII Simpósio Brasileiro de Engenharia de Software</em>, Manaus/AM, 2003, pp. 189-204, doi: <a href="https://doi.org/10.5753/sbes.2003.23861">https://doi.org/10.5753/sbes.2003.23861</a>.