You are here: Start > Projects / Dissertations / Theses > Tese de Mestrado Integrado em Engenharia Informática e Computação
Campus Map
Tese de Mestrado Integrado em Engenharia Informática e Computação
Automatic Error Detection Using Program Invariants for Fault Localization
| Student: | João Filipe Rodrigues dos Santos |
| Student No.: | 200703631 |
| Supervisors: |
Rui Filipe Lima Maranhão de Abreu
|
| Status: | Concluído |
| Since: | 17-JUL-2012 |
| Start: | 01-SET-2011 |
| Thesis Title: | Automatic Error Detection Using Program Invariants for Fault Localization |
| Provisional Title: | Automatic Error Detection Using Program Invariants for Fault Localization |
Selection Panel
| Name | Role |
|---|---|
| Ademar Aguiar | Presidente |
| João Saraiva | Vogal |
| Rui Maranhão | Vogal |
Copyright 1996-2025 © Faculdade de Engenharia da Universidade do Porto
I Terms and Conditions
I Accessibility
I Index A-Z
I Guest Book
Page generated on: 2025-08-11 at 04:10:15 | Acceptable Use Policy | Data Protection Policy | Complaint Portal
Page generated on: 2025-08-11 at 04:10:15 | Acceptable Use Policy | Data Protection Policy | Complaint Portal