Automatic error detection using program invariants for fault localization

Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012

Bibliographic Details
Main Author: Santos, João Filipe Rodrigues dos
Other Authors: Abreu, Rui Filipe Lima Maranhão de
Format: Others
Language:English
Published: 2012
Subjects:
Online Access:http://hdl.handle.net/10216/65674
Description
Summary:Tese de Mestrado Integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012