Projectos de I&D
Consulta de projectos homologados
Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010
AutoSeer: Oráculos Automáticos para Detecção de Erros em Software
PTDC/EIA-CCO/116796/2010
- Área Científica Principal
- Engenharia Informática - Ciências da Computação
- Área Científica Secundária
- Engenharia Informática - Engenharia Informática
- Palavras Chave
- Localização de falhas
- Detecção de Erros
- Automático
- Invariantes de programas
- Financiamento
- € 118 200,00
-
Projecto cofinanciado pelo
Instituição do projecto não encontradas