Dissertação

Automatic Vulnerability Detection: Using Compressed Execution Traces to Guide Symbolic Execution APPROVED

Novembro 25, 2019, 13:0

Documentos da dissertação ainda não disponíveis publicamente

Orientação

ORIENTADOR

Pedro Miguel dos Santos Alves Madeira Adão

Departamento de Engenharia Informática (DEI)

Professor Auxiliar