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