Domingues, Anderson, 		Rodrigues, Elder, E 		Bernardino, Maicon.
" AutoFun: An Automated Model-based Functional Testing Tool" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (19 setembro 2016)