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 Proceedings of the 11th Brazilian Symposium on Software Engineering, Recife/PE, 1997, pp. 397-411, doi: https://doi.org/10.5753/sbes.1997.24061.