Silvia Vergilio, José Maldonado, and Mário Jino. 1992. Caminhos Não Executáveis na Automação das Atividades de Teste. In Anais do VI Simpósio Brasileiro de Engenharia de Software, novembro 04, 1992, Gramado/RS, Brasil. SBC, Porto Alegre, Brasil, 343-356. DOI: https://doi.org/10.5753/sbes.1992.25193.