CV Lattes
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Sou Doutor em Ciência da Computação pela Universidade de São Paulo (ICMC-USP, 2023), Mestre (2017) e Bacharel (2014) em Ciência da Computação pela Universidade Estadual de Maringá (DIN-UEM). Minha trajetória acadêmica concentra-se na área de Engenharia de Software Baseada em Busca (Search-Based Software Engineering SBSE) e em Testes de Software.Durante o mestrado e o doutorado, desenvolvi pesquisas voltadas à identificação de propriedades capazes de detectar requisitos de teste não executáveis em testes estruturais de software concorrente. Também explorei o uso de algoritmos meméticos para a otimização de arquiteturas de Linhas de Produto de Software (Product Line Architecture PLA).Atualmente, minhas investigações continuam direcionadas ao problema da não executabilidade em testes estruturais, com ênfase no desenvolvimento de técnicas e abordagens para sua mitigação. Paralelamente, atuo como docente no ensino superior, ministrando disciplinas na área de Engenharia de Software. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A atividade de teste de software é imprescindível para melhorar a qualidade de um produto de software. No entanto, encontrar um conjunto de dados de teste que satisfaz um dado critério de teste não é uma tarefa trivial, pois o domínio pode ser grande e diferentes conjuntos de teste podem ser soluções satisfatórias. O teste de programas concorrentes além de apresentar os problemas de progr…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |