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
Mestre em em Ciências da Computação e Matemática Computacional (Conceito CAPES 6) pelo ICMC/USP. Possui graduação em Ciência da Computação pelo Centro Universitário Euripedes de Marília (2011). Atuando principalmente nos seguintes temas: programas concorrentes, sistemas distribuídos e teste estrutural para programas concorrentes. (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 de programas concorrentes é uma atividade custosa devido principalmente à quantidade de sequências de sincronização que devem ser testadas para validar tais programas. Uma das técnicas mais utilizadas para testar a comunicação e sincronização de programas concorrentes é a geração automática de diferentes pares de sincronização ou, em outras palavras, a geração de variantes de disp…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |