Vergilio, Silvia, 		Maldonado, José, AND 		Jino, Mário.
" Caminhos Não Executáveis na Automação das Atividades de Teste" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (4 November 1992)