Ernesto Cid Brasil de Matos

Possui graduação em Ciência da Computação pelo Centro de Ensino Unificado de Teresina (2009), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2012) e doutorado em Sistemas e Computação também pela UFRN (2016). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: prototipação, engenharia de software, testes de software e métodos formais.

Informações coletadas do Lattes em 11/10/2025

Acadêmico

Formação acadêmica

Doutorado em Sistemas e Computação

2012 - 2016

Universidade Federal do Rio Grande do Norte
Título: BETA: a B based testing approach
Orientador: em Heinrich-Heine Universitãt ( Michael Leuschel)
com Anamaria Martins Moreira. Coorientador: Michael Leuschel. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Sistemas e Computação

2010 - 2012

Universidade Federal do Rio Grande do Norte
Título: BETA: Uma ferramenta para geração de testes de unidade a partir de especificações B,Ano de Obtenção: 2012
Anamaria Martins Moreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Engenharia de Software; Métodos Formais; Testes de Software; Método B.Grande área: Ciências Exatas e da Terra

Graduação em Bacharelado em Ciência da Computação

2006 - 2009

Centro de Ensino Unificado de Teresina
Título: WAAT - Web Application Automated Testing
Orientador: Thiago Carvalho de Sousa

Formação complementar

2010 - 2010

Iniciação à Docência. (Carga horária: 45h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.

2009 - 2009

Introdução à Avaliação Automática de Código-Fonte. (Carga horária: 8h). , Instituto Federal do Piauí, IFPI, Brasil.

2009 - 2009

Engenharia de Software para Sistemas Embarcados. (Carga horária: 6h). , Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.

2008 - 2008

Extensão universitária em Programação Orientada a Objetos com Java. (Carga horária: 26h). , Centro de Ensino Unificado de Teresina, CEUT, Brasil.

2008 - 2008

Mineração de Dados utilizando Weka. (Carga horária: 4h). , CEFET-PI, CEFET-PI, Brasil.

2008 - 2008

Proc. de Gerência de Reuso de Software no MPS.BR. (Carga horária: 12h). , CEFET-PI, CEFET-PI, Brasil.

2007 - 2007

Desenvolvimento em Java. (Carga horária: 40h). , Construtora Sucesso, CS, Brasil.

2007 - 2007

Desenvolvimento de Aplicações com Framework .NET. (Carga horária: 12h). , CEFET-PI, CEFET-PI, Brasil.

2006 - 2006

Java Reflection, Crie seu próprio framework. (Carga horária: 12h). , CEFET-PI, CEFET-PI, Brasil.

2006 - 2006

Desenvolvimento de Games. (Carga horária: 8h). , Centro de Ensino Unificado de Teresina, CEUT, Brasil.

2006 - 2006

Linux Básico. (Carga horária: 12h). , Centro de Ensino Unificado de Teresina, CEUT, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Organização de eventos

BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MATOS, E. C. B. . IV Encontro Regional de Computação do Piauí (ERECOMPI). 2009. (Congresso).

BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MENESES, Érico L. ; MATOS, E. C. B. . III Encontro Regional de Computação do Piauí (ERECOMPI). 2008. (Congresso).

BUDARUICHE, R. M. S. ; MATOS, E. C. B. . II Encontro Regional de Computação do Piauí (ERECOMPI). 2007. (Congresso).

BUDARUICHE, R. M. S. ; MATOS, E. C. B. . I Encontro Regional de Computação do Piauí (ERECOMPI). 2006. (Congresso).

Participação em eventos

22nd IFIP International Conference on Testing Software and Systems. Generating Test Cases From B Specifications: An Industrial Case Study. 2010. (Congresso).

ICTAC School on Software Engineering - Component-based Software Development. 2010. (Oficina).

SAST 2010 - IV Brazilian Workshop on Systematic and Automated Software Testing. 2010. (Oficina).

SBMF 2010 - XIII Brazilain Symposium on Formal Methods. 2010. (Simpósio).

VII InFoPI. 2009. (Simpósio).

XXIX CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2009. (Congresso).

InfoCEFET 2008. 2008. (Simpósio).

XXVIII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2008. (Congresso).

InfoCEFET 2007. 2007. (Simpósio).

InfoCEFET 2006. 2006. (Simpósio).

Produções bibliográficas

DE MATOS, ERNESTO C. B. ; MOREIRA, ANAMARIA M. ; DE SOUZA NETO, JOÃO B. . An empirical study of test generation with BETA. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 22, p. 8-24, 2016.
MATOS, E. C. B. ; Sousa, Thiago C. . From formal requirements to automated web testing and prototyping. Innovations in Systems and Software Engineering (Print) , v. 6, p. 163-169, 2010.
MEDEIROS JR., V. ; DEHARBE, D. ; AZEVEDO, D. ; MATOS, E. C. B. . BTestBox: an automatic test generator for B Method. In: Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016. Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016.
MATOS, E. C. B. ; MOREIRA, A. M. ; DEHARBE, D. ; HENTZ, C. ; MEDEIROS JR., V. ; SOUZA NETO, J. B. . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: 9th International Conference, TAP 2015, 2015, L'Aquila. Lecture Notes in Computer Science, 2015. v. 9154. p. 76-91.
MATOS, E. C. B. ; MOREIRA, A. M. ; SOUZA NETO, J. B. . An empirical study of test generation with BETA. In: Workshop on Systematic and Automated Software Testing, 2015, Belo Horizonte. Proceedings of the 9th Workshop on Systematic and Automated Software Testing, 2015.
MATOS, E. C. B. . Complementing the B-Method with Model-Based Testing. In: Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015, L'Aquilla. Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015.
MATOS, E. C. B. ; MOREIRA, A. M. . BETA: a tool for test case generation based on B specifications. In: CBSoft Tools, 2013, Brasília. Anais do CBSoft 2013, 2013.
MATOS, E. C. B. ; MOREIRA, A. M. . BETA: A B Based Testing Approach. In: Brazilian Symposium in Formal Methods, 2012, Natal. Formal Methods: Foundations and Applications. Berlin: Springer, 2012.
MATOS, E. C. B. ; SOUSA, T. C. . Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso. In: ERCEMAPI, 2009, Parnaíba. Escola Regional de Computação Ceará - Maranhão - Piauí, 2009.
MATOS, E. C. B. ; SOUSA, T. C. . From Formal Requirements to Automated Web Testing and Prototyping. In: International Workshop for Formal Methods and Agile Methods, 2009, Rio de Janeiro. International Workshop for Formal Methods and Agile Methods, 2009.
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. ; SOUSA, T. C. . Uma Ferramenta para Geração Automática de Testes Funcionais e Protótipos de Interface a partir de Casos de Uso. 2009. (Apresentação de Trabalho/Seminário).

Outras produções

MATOS, E. C. B. ; MOREIRA, A. M. . BETA. 2012.

Histórico profissional

Experiência profissional

2009 - 2010

Remanso Mineradora

Vínculo: Colaborador, Enquadramento Funcional: Análise e Desenvolvimento de Sistemas, Carga horária: 30

2007 - 2009

Construtora Sucesso

Vínculo: Colaborador, Enquadramento Funcional: Estágio em Análise e Desenv. de Sistemas, Carga horária: 20

2007 - 2007

Centro de Ensino Unificado de Teresina

Vínculo: Monitor, Enquadramento Funcional: Monitor de Algoritmos e Programação II, Carga horária: 20