DOMINGUES, Anderson; RODRIGUES, Elder M.; BERNARDINO, Maicon. AutoFun: An Automated Model-based Functional Testing Tool. In: BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST), 1. , 2016, Maringá/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2016 . p. 126-135.