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