Domingues, A., 		Rodrigues, E., & 		Bernardino, M.
(2016).
 AutoFun: An Automated Model-based Functional Testing Tool.
In <em>Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 126-135). Porto Alegre: SBC.