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 |