Hugo Leonardo da Silva Araujo

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2017 - Atual

Universidade Federal de Pernambuco
Orientador: Augusto Cezar Alves Sampaio
Coorientador: Gustavo Henrique Porto de Carvalho. Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.

Mestrado em Ciências da Computação

2015 - 2017

Universidade Federal de Pernambuco
Título: A process for sound conformance testing of Cyber-Physical Systems,Ano de Obtenção: 2017
Augusto Cezar Alves Sampaio.Coorientador: Gustavo Henrique Porto de Carvalho. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Cyber-physical systems; Hybrid Systems; Conformance Testing; Reachability Analysis.Grande área: Ciências Exatas e da Terra

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

2009 - 2014

Universidade Federal de Pernambuco
Título: Extensão da ferramenta TaRGeT para geração automática de testes a partir do uso de variáveis
Orientador: Augusto Cesar Sampaio

Ensino Médio (2º grau)

2000 - 2007

Colégio de Aplicação (PE)

Idiomas

Inglês

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

Francês

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

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

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

Produções bibliográficas

ARAUJO, HUGO ; CARVALHO, GUSTAVO ; MOHAQEQI, MORTEZA ; MOUSAVI, MOHAMMAD REZA ; SAMPAIO, AUGUSTO . Sound Conformance Testing for Cyber-Physical Systems: Theory and Implementation. SCIENCE OF COMPUTER PROGRAMMING , v. 1, p. 1, 2017.
Nogueira, Sidney ; ARAUJO, HUGO L. S. ; Araujo, Renata B. S. ; Iyoda, Juliano ; SAMPAIO, AUGUSTO . Automatic Generation of Test Cases and Test Purposes from Natural Language. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. , p. 145-161.
ARAUJO, HUGO ; CARVALHO, GUSTAVO ; SAMPAIO, AUGUSTO ; MOUSAVI, MOHAMMAD REZA ; TAROMIRAD, MASOUMEH . A Process for Sound Conformance Testing of Cyber-Physical Systems. In: 2017 IEEE International Conference on Software Testing, Verification and Validation: Workshops (ICSTW), 2017, Tokyo. 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2017. p. 46.
Nogueira, Sidney ; ARAUJO, HUGO ; ARAUJO, RENATA ; Iyoda, Juliano ; SAMPAIO, AUGUSTO . Test case generation, selection and coverage from natural language. SCIENCE OF COMPUTER PROGRAMMING , 2019.