João possui graduação em Análise e Desenvolvimento de Sistemas pelo Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2012), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2015) e doutorado em Ciência da Computação pela mesma instituição (2020). Trabalhou como professor universitário na Universidade Federal Rural do Semi-Árido (UFERSA) de 2023 à 2026. Atualmente, é Professor do Ensino Básico, Técnico e Tecnológico do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (IFRN) no Campus de Ipanguaçu. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Análise e Desenvolvimento de Sistemas, Teste de Software, Métodos Formais e Big Data.
-
Doutorado em Ciência da Computação
- corporate_fare Institução/Ano:
- Universidade Federal do Rio Grande do Norte (2016 - 2020)
- label Título:
- Mutação de Transformações para Teste de Programas Spark
- person Orientador:
- Martin Alejandro Musicante
-
Mestrado em Sistemas e Computação
- corporate_fare Institução/Ano:
- Universidade Federal do Rio Grande do Norte (2013 - 2015)
- label Título:
- Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento
- person Orientador:
- Anamaria Martins Moreira
-
Graduação em Análise e Desenvolvimento de Sistemas
- corporate_fare Institução/Ano:
- Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2009 - 2012)
- label Título:
- DESENVOLVIMENTO WEB COM PROGRAMAÇÃO FUNCIONAL UTILIZANDO SCALA E O PLAY FRAMEWORK
- person Orientador:
- Leonardo Reis Lucena
- Ciências Exatas e da Terra – Ciência da Computação – Teste de Software
- Ciências Exatas e da Terra – Ciência da Computação – Métodos Formais
- Ciências Exatas e da Terra – Ciência da Computação – Big Data
- Ciências Exatas e da Terra – Ciência da Computação – Engenharia de Software
- Ciências Exatas e da Terra – Ciência da Computação – Sistemas de Computação – Análise e Desenvolvimento de Sistemas
- Ciências Exatas e da Terra – Ciência da Computação – Sistemas de Computação
-
TRANSMUT-Spark: Transformation mutation for Apache Spark
SOFTWARE TESTING, VERIFICATION AND RELIABILITY, 2022
-
A Two-Level Formal Model for Big Data Processing Programs
SCIENCE OF COMPUTER PROGRAMMING, 2021
-
Semantic Web Services testing: A Systematic Mapping study
Computer Science Review, 2018
-
An empirical study of test generation with BETA
Journal of The Brazilian Computer Society (Online), 2016
-
Modeling Big Data Processing Programs
23rd Brazilian Symposium on Formal Methods, SBMF 2020, 2020
-
Mutation Operators for Large Scale Data Processing Programs in Spark
32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, 2020
-
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study
9th International Conference on Tests and Proofs, TAP 2015, 2015
-
An empirical study of test generation with BETA
9th Brazilian Workshop on Systematic and Automated Software Testing, SAST 2015, 2015
-
Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento
IV WORKSHOP DE TESES E DISSERTAÇÕES DO CBSOFT, 2014
Sincronizado em 15/11/2026 às 03:22 (há 7 horas, 53 minutos)