Abreu, Bruno, Eliane Martins, and Fabiano L. de Sousa.
"Automatic test data generation for path testing using a new stochastic algorithm." <em>Anais do XIX Simpósio Brasileiro de Engenharia de Software,
Uberlândia/MG, 2005</em>. SBC, 2005,  
pp.247-262.