Automatic error detection using program invariants for fault localization
Autor: | Santos, João Filipe Rodrigues dos |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2012 |
Předmět: | |
Druh dokumentu: | Dissertação |
Popis: | Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012 |
Databáze: | Networked Digital Library of Theses & Dissertations |
Externí odkaz: |