Publications and Presentations
Presentations
- Simplifying Asynchronous Service Communication with Kafka, Debezium and the Outbox Pattern at Kafka Summit Americas, 2021.
Thesis and dissertations
BETA: a B Based Testing Approach (Doctoral Thesis)
BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B (Masters Dissertation in portuguese)
Uma ferramenta para geração automática de testes funcionais e protótipos de interface, a partir de casos de uso (Bachelors Dissertation in portuguese)
Publications
Bellow you will find a list of my published papers and other academic work. If you are interested in more information about my academic profile, visit my Lattes page.
Matos, E. C. B.; Moreira, A. M.; Souza Neto, J. B.. An empirical study of test generation with BETA. In: Journal of the Brazilian Computer Society, Volume 22. 2016.
Matos, E. C. B.; Medeiros Jr., V.; Déharbe, D.; Azevedo, D.. BTestBox: an automatic test generator for B Method. In: Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016.
Matos, E. C. B.; Moreira, A. M.; Souza Neto, J. B.. An empirical study of test generation with BETA. In: Proceedings of the 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2015. (Best Paper Award 🏆)
Matos, E. C. B.; Moreira, A. M.. Complementing the B-Method with Model-Based Testing. In: Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015.
Matos, E. C. B.; Moreira, A. M.; Hentz, C.; Déharbe, D.; Souza Neto, J. B.; Medeiros Jr., V.. Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: Proceedings of the 9th International Conference on Tests & Proofs. Lecture Notes in Computer Science, Volume 9154, pages 76-91, Springer, 2015.
Matos, E. C. B.; Moreira, A. M.. BETA: a tool for test case generation based on B specifications. In: Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2013.
Matos, E. C. B.; Moreira, A. M.. BETA: A B Based Testing Approach. In: Proceedings of the 15th Brazilian Symposium on Formal Methods (SBMF). Lecture Notes in Computer Science, Volume 7498, pages 51-66, Springer, 2012.
Matos, E. C. B.; Moreira, A. M.; Souza, F. M.; Coelho, R. S.. Generating Test Cases From B Specifications: An Industrial Case Study. In: Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, pages 55-60, Centre de Recherche Informatique de Montréal (CRIM), 2010.
Matos, E. C. B.; DE SOUSA, T. C.. From formal requirements to automated web testing and prototyping. In: Innovations in Systems and Software Engineering, Volume 6, pages 163-169, Springer, 2010.
Matos, E. C. B.; DE SOUSA, T. C.. Uma Ferramenta para Geração Automatica de Testes Funcionais e Protótipos 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.