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
Aluno do curso de Bacharelado em Ciências de Computação no ICMC-USP, São Carlos (2008). Atualmente pesquisa teste de software concorrente e análise de programas. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Testar programas concorrentes é inerentemente mais difícil que testar programas sequenciais. Atributos como comunicação e sincronização entre processos e não-determinismo trazem problemas em aplicar os tradicionais critérios de teste sequenciais. Entretanto, algumas dessas questões já foram investigadas com resultados positivos. Em particular, o projeto TestPar foi criado no ICMC/USP, em …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |