Vergilio, S., 		Maldonado, J., & 		Jino, M.
(1992).
 Caminhos Não Executáveis na Automação das Atividades de Teste.
In <em>Anais do VI Simpósio Brasileiro de Engenharia de Software</em>, (pp. 343-356). Porto Alegre: SBC.
doi:10.5753/sbes.1992.25193