BECAS
CORNEJO CÉsar Mauricio
datos académicos
Título/s
Doctor en Ciencias de la Computación
Analista en Computación
Licenciado en Ciencias de la Computación
Analista en Computación
Licenciado en Ciencias de la Computación
Categoría
POS-DOCTORAL (INTERNA)
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Especialidad
Ingeniería de Software
Tema
Generación Automática de Mocks para Testing de Sistemas con Entradas Indirectas de Datos Utilizando Ejecución Simbólica
Tema en inglés
Automated Mock Generation for Testing Systems with Indirect Data Inputs Using Symbolic Execution
Palabras clave
EJECUCIÓN SIMBÓLICA // TESTING AUTOMÁTICO // SAT/SMT SOLVING
Palabras clave en inglés
SYMBOLIC EXECUTION // AUTOMATIC TESTING // SAT/SMT SOLVING
Director
AGUIRRE, NAZARENO MATIAS / INV INDEPENDIENTE
Co-director
PONZIO, PABLO DANIEL / INV ADJUNTO
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CS.EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
