Automatic error detection using program invariants for fault localization

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:	Existêcia de erros em software já concluídos Fase se depuração (debugging) Falsos positivos Falsos negativos
Online Access:	http://hdl.handle.net/10216/65674

Similar Items

VALIDEZ DIAGNÓSTICA DE LA ESCALA DE ALVARADO EN PACIENTES CON DOLOR ABDOMINAL SUGESTIVO DE APENDICITIS, EN UN HOSPITAL DE TERCER NIVEL, DEL SUR DE BOGOTÁ
by: Karen Viviana Peralta R., et al.
Published: (2017-06-01)

VDRL falso-positivo em recém-nascido filho de mãe portadora de síndrome antifosfolípide – relato de caso
by: Marina Helena Mariano, et al.
Published: (2015-10-01)

Narcedalia Piedrotas: el horror de la seducción visual. Costales de huesos en Colombia y México
by: Mauricio Duarte
Published: (2016-12-01)

Reflexiones sobre el conflicto armado en Colombia a partir del cine
by: Martín Agudelo Ramírez
Published: (2017-11-01)

Caracterização de isolados de Xanthomonas sp. associados a sementes de arroz e diferenciação de estirpes de Xanthomonas oryzae
by: Ismail Teodoro de Souza Júnior, et al.
Published: (2015-12-01)

Significación clínica: falsos positivos en la estimación del cambio individual
by: Antonio Pardo, et al.
Published: (2013-05-01)

Identificación de daños en placas compuestas mediante procesamiento automático de imágenes
by: Guillen Palacios, Felipe Ignacio
Published: (2019)

Resultado falso-positivo para sangue humano pela ação de interferência química do cobre em teste imunocromatográfico
by: Nelson Massayuki Yoshitake, et al.
Published: (2015-08-01)

De víctimas a pedagogas de la memoria: el caso de las llamadas Madres de Soacha
by: Carlos Arturo Gutiérrez
Published: (2019-12-01)

Detección de mascarilla para COVID-19 a través de Aprendizaje Profundo usando OpenCV y Cascade Trainer GUI
by: Luis Enrique Chuquimarca Jimenez, et al.
Published: (2021-06-01)

Caracterización de los crímenes de estado y el proceso de paz en Colombia
by: John José Libreros Díaz
Published: (2018-12-01)

De guerrilleros a víctimas; de héroes a perpetradores: movimientos y relaciones del conflicto armado colombiano y la práctica de identificación e investigación forense en el caso de los Falsos Positivos
by: María Fernanda Olarte-Sierra, et al.
Published: (2021-10-01)

Falsos cognatos, falsos amigos ou cognatos enganosos? Desfazendo a confusão teórica através da prática
by: Marilei Amadeu Sabino
Published: (2006-07-01)

Pseudoaneurysm of the ascending aorta after aortic valve replacement
by: Osvaldo Valdés Dupeyrón, et al.
Published: (2010-07-01)

Pseudoaneurysm of the ascending aorta after aortic valve replacement
by: Osvaldo Valdés Dupeyrón, et al.
Published: (2010-07-01)

Pseudoaneurisma da artéria poplítea
by: João de Toledo Martins, et al.
Published: (2009-10-01)

Falsos autónomos y falsos becarios: una aproximación institucional al caso español
by: Pablo Sanz de Miguel
Published: (2019-06-01)

Metabolitos del efavirenz como probable causa de falsos-positivos en test inmunológico para benzodiacepinas en orina False-positive immunoassay results for urine benzodiacepines probably caused by efavirenz metabolites
by: Patricia N. Quiroga, et al.
Published: (2007-12-01)

Public profile of professionals called Dietitian-Nutritionist, Dietitian, and Nutritionist without qualification
by: Laura Torrellas Roman, et al.
Published: (2020-07-01)

La causa menos probable de anemia, pseudoaneurisma de Aorta Abdominal en paciente joven
by: Victor Daniel Gimenez Ortigoza, et al.
Published: (2019-06-01)

Il Costantino minimalista di Alessandro Barbero
by: Luigi Canetti
Published: (2018-03-01)

Lukács: o “falso socialmente necessário”
by: Sérgio Lessa
Published: (2020-10-01)

Projeto metalexicográfico do Dicionário de Falsos Amigos Português – Espanhol. (DiFAPE)
by: Adja Balbino de Amorim Barbieri Durão
Published: (2015-03-01)

A influência das emoções nas falsas memórias: uma revisão crítica
by: Renato Favarin dos Santos, et al.
Published: (2008-09-01)

A potência narrativa nos falsos documentários
by: Caue Fernandes Nunes
Published: (2017-08-01)

Entrevista al Dr. Alfredo Bullard González. "No se Puede Poner al Gato de Despensero": Falsos Dilemas entorno al Arbitraje Regulatorio
by: Gálvez Posada, Katherine, et al.
Published: (2011)

Variação sazonal na alelopatia de extratos aquosos de Coleus barbatus (A.) Benth. sobre a germinação e o desenvolvimento de Lactuca sativa L. Seasonal variation in the allelopathy of aqueous extracts from Coleus barbatus (A.) Benth. on the germination and development of Lactuca sativa L.
by: L.L. Pelegrini, et al.
Published: (2012-01-01)

Serie Tener y no tener (2017-2020)
by: Ilich Castillo
Published: (2020-12-01)

Produção de memórias falsas com listas de associados: análise do efeito do nível de processamento e da natureza da prova de memória
by: Eduarda Pimentel Rodrigues, et al.
Published: (2007-12-01)

A propósito de las interpretaciones eróticas en pinturas de Murillo de asunto popular
by: Enrique Valdivieso
Published: (2002-12-01)

CAMINHOS PARA A SELEÇÃO DA NOMINATA DE UM DICIONÁRIO DE FALSOS AMIGOS
by: Adja Balbino de Amorim Barbieri Durão, et al.
Published: (2011-08-01)

EL TRATO DADO A LA VARIACIÓN LINGÜÍSTICA EN LA TRADUCCIÓN DE LOS FALSOSAMIGOS EN LOS LIBROS DE LENGUA ESPAÑOLA SELECCIONADOS POR EL PNLD 2011
by: Valdecy Oliveira PONTES
Published: (2014-06-01)

Pseudoaneurisma do ventrículo esquerdo
by: José Carlos Rossini Iglezias
Published: (2007-05-01)

David entre yesos y falsos
by: Milena Gallipoli
Published: (2021-05-01)

Pseudoaneurysm after arthroscopic procedure in the knee
by: Edmar Stieven Filho, et al.
Published: (2015-04-01)

Imunoblot como teste suplementar para detecção de anticorpos contra o vírus da hepatite C em doadores de sangue Immunoblot as a supplemental test to detect antibodies to hepatitis C virus in blood donors
by: Francisco José Dutra Souto, et al.
Published: (2002-02-01)

Brucelose bovina: avaliação de testes sorológicos após aplicação de levamisole
by: Recuero, Ana Lúcia Coelho
Published: (2016)

Distribución y estructura de una población de Heterotheca subaxillaris (Lam.) Britt. & Rusby (falso alcanfor) en la provincia de La Pampa, Argentina
by: Carla E. Suárez, et al.
Published: (2020-03-01)

Aproximación historiográfica a la restauración patrimonial de carácter historicista en España: desde sus albores a la actualidad
by: Guillermo-L. López-Merino
Published: (2020-01-01)

Considerazioni conclusive
by: Alessandro Barbero
Published: (2018-03-01)