| Designação do projeto: | AutoSeer - Oráculos Automáticos para Detecção de Erros em Software |
| Código do projeto: | PTDC/EIA-CCO/116796/2010 |
| Instituição proponente/ Promotor líder/ Entidade coordenadora: | Faculdade de Engenharia da Universidade do Porto |
| Parceiro(s) / Co-promotor(es) / Instituição(ões) participante(s): | Universidade do Minho |
| Data de início: | 2012-04-01 |
| Data de conclusão: | 2015-04-30 |