Domingues, A., 		Rodrigues, E., & 		Bernardino, M.
(2016).
 AutoFun: An Automated Model-based Functional Testing Tool.
In <em>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 126-135). Porto Alegre: SBC.