J. Herbert and A. Price. " Estratégia de Geração de Dados de Teste Baseada na Análise Simbólica e Dinâmica do Programa", in Anais do XI Simpósio Brasileiro de Engenharia de Software, Recife/PE, 1997, pp. 397-411, doi: https://doi.org/10.5753/sbes.1997.24061.