@inproceedings{inproceedingsa0b2059f,
title   = {Mgaset java: geração de sequências de teste para validação de especificações baseada em máquinas de estado finito},
author = {Candolo, Marco Arthur Pereira and Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2000},
booktitle   = {Simpósio Internacional de Iniciação Científica da USP}
}