Bentes, Larissa, Herbert Rocha, Eduardo Valentin, and Raimundo Barreto.
" JFORTES: Java Formal Unit TESt Generation." <em>Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
João Pessoa/PB, 2016</em>. SBC, 2016,  
pp.16-23.