Vergilio, Silvia, José C. Maldonado, and Mário Jino.
" Caminhos Não Executáveis na Automação das Atividades de Teste." <em>Proceedings of the 6th Brazilian Symposium on Software Engineering,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.343-356.