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.