Cleverton Hentz Antunes

  • Endereço para acessar este CV: http://lattes.cnpq.br/7382708415783357
  • Última atualização do currículo em 19/10/2018


Possui graduação em Ciências da Computação pela Faculdade Lourenço Filho (2007.2) 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. (Texto informado pelo autor)


Identificação


Nome
Cleverton Hentz Antunes
Nome em citações bibliográficas
HENTZ, C.

Endereço


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: https://chentz.keybase.pub/


Formação acadêmica/titulação


2013 - 2017
Doutorado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
com período sanduíche em Centrum Wiskunde & Informatica (Orientador: Dr. Jurgen J. Vinju).
Título: A Family of Coverage Criteria Based on Patterns to the Test of Metaprograms, Ano de obtenção: 2017.
Orientador: Anamaria Martins Moreira.
Grande área: Ciências Exatas e da Terra
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.
2008 - 2010
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Geração de Testes a partir de gramáticas,Ano de Obtenção: 2010.
Orientador: 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
2002 - 2007
Graduação em Bacharelado em Ciência da Computação.
Faculdade Lourenço Filho, FLF, Brasil.
Título: ESTUDO SOBRE TÉCNICAS DE IMPLEMENTAÇÃO DE ANÁLISE DE MUTANTES EM JAVA.
Orientador: Fabiana Gomes Marinho.




Atuação Profissional



Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, IFRN, Brasil.
Vínculo institucional

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

Atividades

03/2010 - Atual
Ensino,

Disciplinas ministradas
Banco de Dados
Algoritmos
Autoria Web
Informática Básica

Núcleo de Desenvolvimento de Engenharia & Software, ND ENGENHARIA, Brasil.
Vínculo institucional

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


Softium Informática, SOFTIUM, Brasil.
Vínculo institucional

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

Vínculo institucional

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



Áreas de atuação


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


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.

Resumos publicados em anais de congressos
1.
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.


Produção técnica
Programas de computador sem registro
1.
HENTZ, C.; Moreira, A. M. . Lua Language Generator (LGen). 2011.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
Moreira, A. M.; Prolo, Carlos A.; HENTZ, C.. Participação em banca de Victor Pereira Ferreira.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.



Orientações



Orientações e supervisões concluídas
Iniciação científica
1.
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.



Inovação



Programa de computador sem registro
1.
HENTZ, C.; Moreira, A. M. . Lua Language Generator (LGen). 2011.




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 2:43:56