Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Rodrigo Paiva Inacio Lima em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| 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 projeto visa o desenvolvimento de uma ferramenta capaz de realizar geração automática de teste para protocolos baseados em descrições feitas através de "finite state madrines". Esta ferramenta deverá contemplar tanto testes convencionais quanto distribuídos. O projeto também pretende um estudo comparativo dos métodos implementados. (AU)
| 1 | Bolsas no país concluídas |
| Processos vinculados | |