CV Lattes
ResearcherID
ORCID
Google Scholar Citations
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
É Bacharel em Ciência da Computação pelo Centro Universitário Eurípedes - Univem - Marília-SP. Mestre em Ciência da Computação e Matemática Computacional pela Universidade de São Paulo ICMC-USP\São Carlos-SP. Doutor em Ciência da Computação e Matemática Computacional na Universidade de São Paulo ICMC-USP\São Carlos-SP. Foi pesquisador visitante da University of Maryland (UMD), College Park, MD/USA. É professor adjunto - Classe C - da Universidade Tecnológica Federal do Paraná, câmpus Dois Vizinhos/PR, onde atua como docente do curso Bacharelado em Engenharia de Software. É pesquisador com experiência em Engenharia de Software e atua principalmente nos seguintes temas: teste de software, automatização de frameworks de teste, QA (Quality Assurance) e processos/métodos ágeis de desenvolvimento de software. Tem experiência em gestão acadêmica, tendo atuado como coordenador da graduação em Eng. Software e é coordenador das especializações em Ciências de Dados e Python para negócios na Universidade Tecnológica Federal do Paraná. Tem parcerias com empresas do setor produtivo, atuando e pesquisando com contratos e termos de cooperação PPPs (Parcerias Público-Privadas). (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 definição de oráculos - mecanismos (programa, processo ou dados) utilizados para julgar a correção da execução dos programas em teste - é fundamental para a automatização bem sucedida das atividades de teste de software. A automatização de oráculos não é uma tarefa simples e essa atividade se torna ainda mais custosa quando a decisão a respeito da correção do sistema deve levar em conta…
No contexto de desenvolvimento de software, as atividades de validação, verificação e, em particular, de teste, têm recebido muita atenção por parte de desenvolvedores e, em conseqüência, de pesquisadores que procuram definir técnicas e ferramentas que permitam que tais atividades sejam executadas de maneira sistemática, com alta qualidade e custo reduzido.Neste cenário, a automatização …
A complexidade da saída de alguns sistemas faz com que estratégias automatizadas de teste exijam esforços significativos. Esta proposta de sanduíche apresenta uma pesquisa que visa ao desenvolvimento de um método para a automatização de oráculos de teste para sistemas com saídas complexas. Durante o período do sanduíche pretende-se avaliar a efetividade do uso de oráculos de teste em domí…
| 2 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 3 | Todas as Bolsas |
| Processos vinculados | |