MASTER DISSERTATION DEFENSE - FÁBIO ESTEVES SOUSA

Date: 
Thursday, December 17, 2015, 3:00pm

Title: AuTGen-C: uma plataforma para geração de testes com base no CBMC

Jury: Pedro Manuel Rangel Santos Henriques - President

        Simão Patrício Melo de Sousa - Examiner

        Maria João Gomes Frade - Supervisor

Location: DI A2