These are my current and past PhD, Master and Undergraduate students.

Current Students

PhD Students

• Mateus de Souza Miranda. Started: 2023.

Past Students

PhD Students

• Juliana Marino Balera. Automatização do Teste de Aplicações Web apoiada por Hiper-heurística de Geração. 2023. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Gabriel Fornari. Caracterização e Desenvolvimento de um Sistema Autoadaptativo para Estimação da Posição de Veículos Aéreos Não Tripulados baseado em Imagens. 2020. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Alessandro Oliveira Arantes. REACTOR: Combining Static Analysis, Testing and Reverse Engineering to detect Software Defects. 2016. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Luciana Brasil Rebelo dos Santos. A Methodology to Apply Formal Verification to UML-Based Software. 2015. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

Master Students

• Mateus de Souza Miranda. AI4LUC: Pixel-based Classification of Land Use and Land Cover via Deep Learning and a Cerrado Image Dataset. 2023. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Renato de Sousa Maximiano. Redes Neurais Artificiais para analisar o Consumo de Energia e prever Temperatura de Computadores Embarcados em VANTs. 2023. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Camila Pereira Sales. Uma Investigação sobre Meta e Hiper-heurísticas para Teste de Integração de Software. 2021. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Eduardo Rohde Eras. Singularity: Um Método para Geração Automática de Casos de Testes Unitários baseado em Contraexemplos de Verificador de Modelos para Aplicações em C++. 2020. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Viny Cesar Pereira. Model Checking Probabilístico para Apoiar a Mitigação de Evento de Falta Única em Field Programmable Gate Arrays (FPGAs). 2018. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Paulo Nolberto dos Santos Alarcon. Minimização de Casos/Passos de Teste para Linguagens de Programação Visual. 2017. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Juliana Marino Balera. Um Algoritmo para Geração de Casos de Teste Combinatorial via Matriz de Cobertura com Níveis Variados. 2017. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).


• Wendell Pereira da Silva. QSEE-TAS: Execução Automatizada de Casos de Teste para Software Embarcado em Aplicações Espaciais. 2008. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE). P.S.: Co-supervisor.

Undergraduate Students

• Hércules Carlos dos Santos Pereira. Análise de Técnicas de Aprendizado Profundo e de Aprendizado de Máquina Tradicional para Classificação de Imagens de Drones. 2022. Computer Engineering, Universidade Paulista, São José dos Campos, SP.


• Renata Bitencourt Vaz. Teste Metamórfico para Produtos de Software relacionados à Definição de Características Hidrológicas. 2019. Mathematics, Universidade Estadual Paulista Júlio de Mesquita Filho, Guaratinguetá, SP.


• Leoni Augusto Romain da Silva. Teste de modelos ambientais desenvolvidos via TerraME. 2018. Computer Science, Centro Universitário Salesiano São Paulo, Lorena, SP.


• Felipe Elias Costa da Silva. Testes de Software via Model Checking para Sistemas Espaciais Críticos. 2017. Computer Engineering, Centro Universitário Salesiano São Paulo, Lorena, SP.


• Juliana Marino Balera. TTR: Um Algoritmo para criar Matrizes de Cobertura com Níveis Variados para apoiar a Geração de Casos de Teste de Software. 2014. Systems Development and Analysis, Faculdade de Tecnologia de São José dos Campos Professor Jessen Vidal, São José dos Campos, SP.

Last Update: August/2023