Bentes, L., 		Rocha, H., 		Valentin, E., & 		Barreto, R.
(2016).
 JFORTES: Java Formal Unit TESt Generation.
In <em>Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 16-23). Porto Alegre: SBC.