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
Quando pensamos apenas no passado, deixamos de pensar no presente e no futuro. Você conseguirá tudo o que pede, se fizer por merecer. (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 geração de casos de teste baseada modelos visa possibilitar que casos de teste seja derivados a partir de especificações formais, tais como Máquinas de Estados Finitos. Existem diversos métodos de geração, diferindo entre si em função das propriedades exigidas dos modelos e da quantidade de casos de teste gerados. A ferramenta Plavis/FSM tem o objetivo de integrar diversas ferramentas q…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |