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 Engenharia de Computação pelo Instituto de Ciências Matemáticas e de Computação (2009) e mestrado em Ciências de Computação e Matemática Computacional pelo Instituto de Ciências Matemáticas e de Computação (2012). (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) |
Geração de casos de teste baseada em modelos visa à possibilidade de derivação de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos (MEF). Existem diversos critérios de geração, diferindo entre si em função das propriedades exigidas das MEFs, dos custos dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definiç…
Entre as linhas que têm sido objeto de pesquisa no contexto de Ensino e Aprendizado destaca-se o desenvolvimento de módulos educacionais - unidades concisas de estudo, compostas por conteúdos teóricos integrados a atividades práticas e avaliações, cuja disponibilização aos aprendizes é apoiada por recursos tecnológicos e computacionais. No decorrer das atividades associadas ao trabalho de…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |