Domingues, Anderson, Elder M. Rodrigues, and Maicon Bernardino. " AutoFun: An Automated Model-based Functional Testing Tool." Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, Maringá/PR, 2016. SBC, 2016, pp.126-135.