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