12th International Conference on Software Engineering and Formal Methods

• Processo: 14/13951-6
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 01 de setembro de 2014
• Data de Término da vigência: 20 de setembro de 2014
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Adilson Luiz Bonifácio
• Beneficiário: Adilson Luiz Bonifácio
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: blocking sequences | partial FSMs | perfectness | test suite completeness | Teste baseado em modelos