@inproceedings{inproceedings71158605, title = {Plavis/FSM: an environment to integrate FSM-based testing tools}, author = {Simão, Adenilso da Silva and Ambrósio, Ana Maria and Fabbri, Sandra Camargo Pinto Ferraz and Amaral, Ana Silva Martins Serra do Amaral and Martins, Eliane and Maldonado, José Carlos}, year = {2005}, booktitle = {Sessão de Ferramentas} }