A. Domingues, E. Rodrigues, and M. Bernardino.
" 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>, Maringá/PR, 2016, pp. 126-135.