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
Atualmente é professora adjunta na Universidade Federal da Grande Dourados (UFGD). Possui mestrado e doutorado em Ciências da Computação e Matemática Computacional, ambos pela Universidade de São Paulo (ICMC/USP). Durante o seu doutorado, realizou um estágio no exterior na The University of Alabama (UA), Estados Unidos. Possui graduação em Bacharelado em Sistemas de Informação pela Universidade Federal de Mato Grosso do Sul (UFMS). Tem coordenado e participado de projetos de pesquisa e extensão na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Engenharia de Software Experimental, Ensino de computação, Banco de Dados, Programação concorrente e Teste de Software. É membro do comitê diretivo do Simpósio Brasileiro de Teste de Software Sistemático e Automatizado - SAST. Revisora no Journal of Software Engineering Research and Development e diversas conferências nacionais e internacionais. É membro da Sociedade Brasileira de Computação. (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) |
Várias propostas existem para apoiar o teste de programas concorrentes. De uma maneira geral, as propostas exploram a análise estática ou dinâmica, o paradigma de passagem de mensagem ou memória compartilhada, a linguagem de programação e o uso de padrões. Esses trabalhos tratam de diferentes abordagens de teste como: injeção de falhas, verificação formal, desenvolvimento dirigido a teste…
Esta proposta de mestrado está inserida no contexto do projeto Subsídios para o Teste Estrutural de Aplicações Distribuídas (FAPESP 2008/04614-5), cujo objetivo central é investigar alternativas para reduzir o custo de aplicação e a eficácia em revelar defeitos dos critérios propostos para aplicações concorrentes. Este projeto de mestrado em particular irá caracterizar e aplicar um estudo…
O teste de software concorrente tem sido intensamente investigado, apresentando uma vasta gama de técnicas e ferramentas de teste. Entretanto, não há um corpo de evidências consolidado que possibilite aos desenvolvedores de aplicações concorrentes na academia ou indústria selecionar dentre as várias técnicas disponíveis, aquela que apresente melhor custo/ benefício quando é incorporada a …
| 2 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 3 | Todas as Bolsas |
| Processos vinculados | |