Herbert, Juliana, and Ana Maria de Alencar Price.
" Estratégia de Geração de Dados de Teste Baseada na Análise Simbólica e Dinâmica do Programa." <em>Anais do XI Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1997</em>. SBC, 1997,  
pp.397-411.