About

I'm Ernesto. I'm a Computer Scientist/Software Engineer living in Fortaleza, Brazil. I got a MSc and a Ph.D in computer science during my time on DIMAp/UFRN (and HHU for almost a year). During my time in academia I did research on software testing and formal methods.

I'm currently working as software engineer at Gocase, helping to develop web applications that sustain the company's fast-paced growth.

Projects

BETA: stands for B basEd Testing Approach. It is a tool-supported approach, based on the B-Method formal notation, to generate test cases. It uses restrictions described on a B model, such as invariants, preconditions and conditional statements, to create unit tests for an operation. You can read more about BETA on my Ph.D thesis and on the tool's website. You can find the tool's code here.
WAAT: my undergrad final project. An Eclipse plugin used to generate functional tests for web applications. The tests were automatically generated from requirements written using a controlled natural language. I implemented the language's parser using ANTLR. The tests were written and executed using Selenium. You can find the code here.

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.

Around the web

LinkedIn, Github and Instagram

Copyright © 2017