Doi Junior, G., & Bonifacio, A. 2011 nov 7. A Tool to Support Model-Based Testing Activities. Anais do SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :