Vergilio, Silvia, José C. Maldonado, and Mário Jino.
" Caminhos Não Executáveis na Automação das Atividades de Teste." <em>Anais do VI Simpósio Brasileiro de Engenharia de Software,
Gramado/RS, 1992</em>. SBC, 1992,  
pp.343-356.