Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: AN EFFECTIVE ANALYSIS OF EXECUTABLE ASSERTIVES AS INDICATORS OF SOFTWARE FAILS
Autor(es): FISCHER JONATAS FERREIRA
Orientador (es) : ARNDT VON STAA
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: GRADUATE PROGRAM IN COMPUTER SCIENCE
Área: SOFTWARE ENGINEERING
Banca: SIMONE DINIZ JUNQUEIRA BARBOSA - PUC-RIO
ALBERTO BARBOSA RAPOSO - PUC-RIO
HELIO CORTES VIEIRA LOPES - PUC-RIO
ARNDT VON STAA - PUC-RIO
Vocabulário: LIGHT FORMAL METHOD
SOFTWARE TESTING
Apresentação: 09/ABR/2015
Aceitação: 09/ABR/2015
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 F383an