BECAS
GARCÍA Felicitas
datos académicos
Título/s
Licenciado en Ciencias de la Computación
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA-OTRAS
Campo de aplicación
Industrial
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad
Ingeniería de Software
Tema
MimicryMonitors: Verificación de programas con fragmentos comunes
Tema en inglés
MimicryMonitors: Verification of programs with shared code fragments
Palabras clave
VERIFICACIÓN // FUZZING // ANÁLISIS INCREMENTAL DE PROGRAMAS
Palabras clave en inglés
VERIFICATION // FUZZING // INCREMENTAL PROGRAM ANALYSIS
Director
BRABERMAN, VICTOR ADRIAN / INV PRINCIPAL
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
