Bueno, Paulo, and Mario Jino.
"Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software." <em>Anais do XIII Simpósio Brasileiro de Engenharia de Software,
Florianópolis/SC, 1999</em>. SBC, 1999,  
pp.276-291.