List of publications:
Matos, E. C. B.; Moreira, A. M.; Souza, F. M.; Coelho, R. S.. Generating Test Cases From B Specifications: An Industrial Case Study. In: 22nd International Conference on Testing Software and Systems, 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Montréal: Centre de Recherche Informatique de Montréal (CRIM), 2010. p. 55-60.
Matos, E. C. B.; DE SOUSA, T. C.. From formal requirements to automated web testing and prototyping. Innovations in Systems and Software Engineering, v. 6, p. 163-169, 2010.
Matos, E. C. B.; DE SOUSA, T. C.. From Formal Requirements to Automated Web Testing and Prototyping. In: International Workshop on Formal Methods and Agile Methods - International Conference on Formal Engineering Methods, 2009, Rio de Janeiro. FM+AM-ICFEM, 2009.
Matos, E. C. B.; DE SOUSA, T. C.. Uma Ferramenta para Geração Automatica de Testes Funcionais e Prototipos de Interface a partir de Casos de Uso. In: Escola Regional de Computação dos Estados do Ceará, Maranhão e Piauí, 2009, Parnaiba. ERCEMAPI, 2009.