Bentes, L., 		Rocha, H., 		Valentin, E., & 		Barreto, R.
2016 nov  1.  JFORTES: Java Formal Unit TESt Generation. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :