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
Possui graduação em Bacharelado em Informática pela Universidade de São Paulo (2007), mestrado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2010) e doutorado em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo (2021). Atualmente é professor do Instituto Federal de Ciências e Tecnologia de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Bioinformática e 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) |
O Teste baseados em Modelos busca produzir artefatos de teste a partir de modelos produzidos ao longo do desenvolvimento de software. Dentre osdiversos modelos disponíveis, Máquinas de Estados Finitos têm sido amplamente utilizadas para a geração de casos de teste. Existem diversosmétodos de geração têm sido propostos ao longo das últimas quatro décadas, com algumas contribuições recentes…
Grande parte dos métodos de geração de seqüências existentes tratam apenas de Máquinas de Estados Finitos totalmente especificadas, o que torna o uso restrito já que, na maioria das situações, as Máquinas de Estados Finitos testadas não apresentam essa característica. Neste projeto, propõe-se o desenvolvimento de um módulo que implementa um algoritmo para a geração de casos de teste a par…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |