Alexandre Petrenko | Centre de Recherche Informatique de Montreal - Canadá

• Processo: 07/05385-7
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 20 de janeiro de 2008
• Data de Término da vigência: 02 de fevereiro de 2008
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Adenilso da Silva Simão
• Pesquisador visitante: Alexandre Petrenko
• Instituição do Pesquisador Visitante: Centre de Recherche Informatique de Montréal (CRIM), Canadá
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Engenharia de software Intercâmbio de pesquisadores Colaboração científica
• Palavra(s)-Chave do Pesquisador: Máquinas de Estados Finitos | Teste de Software | Engenharia de Software

Resumo

O Pesquisador Alexandre Petrenko colabora diretamente em projetos de pesquisa coordenados por docentes do grupo de Engenharia de Software do ICMC/USP. Dessa colaboração, resultou a publicação conjunta do artigo intitulado Experimental Evaluation of Coverage Criteria for FSM-based Testing, de autoria de Adenilso Simão, Alexandre Petrenko e José Carlos Maldonado no Simpósio Brasileiro de Engenharia de Software, 2007, evento Qualis A, nacional. Iniciou-se também projetos de pesquisa que envolviam o pesquisador e alunos de pós-graduação do ICMC/USP. Pretende-se nessa visita discutir e avaliar os resultados obtidos nesses projetos, bem como os principais problemas em aberto e temas prioritários a serem abordados na sua continuidade em novos projetos. (AU)