Bentes, Larissa, 		Rocha, Herbert, 		Valentin, Eduardo, E 		Barreto, Raimundo.
" JFORTES: Java Formal Unit TESt Generation" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (1 novembro 2016)