Silva, H., 		Mattiello, G., 		Endo, A., 		Souza, É., & 		Souza, S.
(2018).
 Evaluating the Impact of Different Testers on Model-based Testing.
In <em>Anais do III Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 57–66). Porto Alegre: SBC.