Cleverton Hentz Antunes

Possui graduação em Ciências da Computação pela Faculdade Lourenço Filho e doutorado em sistemas e computação pela UFRN. Tem experiência na área de desenvolvimento de software, com ênfase em sistema de informação, atuando principalmente nos seguintes temas: Engenharia de Software, Processos de Desenvolvimento, Verificação e Validação de Software e Desenvolvimento em Java. Atualmente suas áreas de interesses são: Engenharia de Software, Linguagens Formais e Teste de Software.

Informações coletadas do Lattes em 11/04/2026

Acadêmico

Formação acadêmica

Doutorado em Sistemas e Computação

2013 - 2017

Universidade Federal do Rio Grande do Norte
Título: A Family of Coverage Criteria Based on Patterns to the Test of Metaprograms
Orientador: em Centrum Wiskunde & Informatica ( Dr. Jurgen J. Vinju)
com , Ano de obtenção: 2017. Anamaria Martins Moreira. Grande área: Ciências Exatas e da TerraGrande Á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.

Mestrado em Sistemas e Computação

2008 - 2010

Universidade Federal do Rio Grande do Norte
Título: Geração de Testes a partir de gramáticas, Ano de Obtenção: 2010
Anamaria Martins Moreira.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da Terra

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

2002 - 2007

Faculdade Lourenço Filho
Título: ESTUDO SOBRE TÉCNICAS DE IMPLEMENTAÇÃO DE ANÁLISE DE MUTANTES EM JAVA
Orientador: Fabiana Gomes Marinho

Idiomas

Inglês

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

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computaçã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.

Participação em bancas

Aluno: Victor Pereira Ferreira

Moreira, A. M.; Prolo, Carlos A.;HENTZ, C.. Adaptabilidade da ferramenta de geração de testes LGen pela inclusão de novos critérios de cobertura. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

HENTZ, C.; FREITAS, Charles Cesar Magno de. Professor Substitudo de Informática Básica. 2011. Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.

Orientou

Jailson Pereira dos Santos

Construção de Tradutor da Notação EBNF para Gerador de Testes; 2010; Iniciação Científica; (Graduando em Técnico Subsequente em Informática) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cleverton Hentz Antunes;

Produções bibliográficas

Moreira, A. M. ; HENTZ, C. ; DEHARBE, D. B. P. ; MATOS, E. C. B. ; SOUZA NETO, J. B. ; MEDEIROS JUNIOR, V. G. . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. In: 9th International Conference, TAP 2015, 2015, L?Aquila. Tests and Proofs, 2015. v. 9154. p. 76-91.
HENTZ, C. ; VINJU, J. J. ; Moreira, A. M. . Reducing the Cost of Grammar-Based Testing Using Pattern Coverage. In: 27th IFIP WG 6.1 International Conference, ICTSS 2015, 2015, Dubai. Testing Software and Systems. Berlin: Springer International Publishing, 2015. v. 9447. p. 71-85.
Moreira, A. M. ; HENTZ, C. ; RAMALHO, V. M. . Application of a Syntax-based Testing Method and Tool to Software Product Lines. In: 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013, Brasília. 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013.
Santos, J. P. ; HENTZ, C. . Avaliação do Uso da Linguagem Lua e Gramáticas de Expressão de Parsing no Reconhecimento de Sentenças. In: Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica, 2011, Natal. VI Congresso de Pesquisa e Inovação da Rede Norte e Nordeste de Educação Tecnológica - CONNEPI - 2011, 2011.
HENTZ, C. ; Moreira, A. M. . Geração de Sentenças para Teste a partir de Descrições de Linguagens. In: Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. SAST 2009, 2009. p. 51-60.
Moreira, A. M. ; HENTZ, C. ; RAMALHO, V. M. . Grammars for Test Generation. In: Latin American Workshop on Formal Methods, 2013, Buenos Aires. Latin American Workshop on Formal Methods 2013, 2013.

Outras produções

HENTZ, C. ; Moreira, A. M. . Lua Language Generator (LGen). 2011.

Histórico profissional

Endereço profissional

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, IFRN - Campus Nova Cruz. , AC Nova Cruz, Centro, 59215970 - Nova Cruz, RN - Brasil, Telefone: (84) 40054107, URL da Homepage:

Experiência profissional

2010 - Atual

Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte

Vínculo: Servidor Público, Enquadramento Funcional: Docente de Sistemas de Informação, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2020
Ensino, Informática, Nível: GraduaçãoDisciplinas ministradas, Paradigmas de Linguagem de Programação, Estrutura de Dados, Programação Oriantada à Objetos
03/2010
Ensino,Disciplinas ministradas, Banco de Dados, Algoritmos, Autoria Web, Informática Básica
01/2018 - 01/2020
Ensino, Análise e Desenvolvimento de Sistemas, Nível: GraduaçãoDisciplinas ministradas, Programação Oriantada à Objetos, Estrutura de Dados

2007 - 2008

Núcleo de Desenvolvimento de Engenharia & Software

Vínculo: Livre, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

2000 - 2007

Softium Informática

Vínculo: Livre, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

1998 - 2000

Softium Informática

Vínculo: Livre, Enquadramento Funcional: Programador de computador, Carga horária: 40, Regime: Dedicação exclusiva.