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