Domingues, A., 		Rodrigues, E., & 		Bernardino, M.
2016 set 19.  AutoFun: An Automated Model-based Functional Testing Tool. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :