1. CONICET
  2. Comunidad CONICET
  3. SIMÓN EMMANUEL GUTIÉRREZ BRIDA
Comunidad CONICET
GUTIÉRREZ BRIDA, SIMÓN EMMANUEL

Investigador asistente

Especialidad
Ingeniería de Software
Disciplina Científica
Informática y Comunicaciones - Informática y Comunicaciones
Tema
Refinamiento automático de test suites para reparación automática de especificaciones formales.
Lugar de Trabajo
GRUPO DE INGENIERIA DE SOFTWARE
Depende de
  • UNIVERSIDAD NACIONAL DE RIO CUARTO
    • FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES
Ver más información Ver menos información
Dirección:
RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina
Resumen Información suministrada por el agente en SIGEVA
Mi campo de especialidad es la Ingeniería de Software, y dentro de éste, el análisis automático de software. Me especializo en mutación de software, un área con aplicaciones centralmente en testing, donde las mutaciones representan defectos artificiales de software; más recientemente, la mutación de software ha ganado interés con aplicaciones en reparación automática, donde las mutaciones representan modificaciones que apuntan a corregir automáticamente software defectuoso. Mi especialidad abar... Mi campo de especialidad es la Ingeniería de Software, y dentro de éste, el análisis automático de software. Me especializo en mutación de software, un área con aplicaciones centralmente en testing, donde las mutaciones representan defectos artificiales de software; más recientemente, la mutación de software ha ganado interés con aplicaciones en reparación automática, donde las mutaciones representan modificaciones que apuntan a corregir automáticamente software defectuoso. Mi especialidad abarca el diseño de operaciones de mutación, la evaluación de calidad de suites de tests mediante mutation testing, la generación automática de tests basada en mutación, y la reparación automática de software.
Ver más Ver menos
Líneas de Investigación

Ingeniería de Software

Ciencias naturales y exactas

  • Ciencias de la computación e información
  • Ciencias de la computación

Ingeniería de Software

Ciencias naturales y exactas

  • Ciencias de la computación e información
  • Ciencias de la computación
Capacidades Tecnológicas

1 - Electrónica, TICs y telecomunicaciones

1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo

  • 1.2.1 - Arquitectura avanzada de sistemas
  • 1.2.6 - Software
  • 1.2.9 - Protección de datos, almacenamiento, criptografía, seguridad
  • 1.2.13 - Tecnología de información / informática
  • 1.2.15 - Gestión de conocimiento, gestión de procesos
  • 1.2.20 - Software de automatización
  • 1.2.22 - Aplicaciones inteligentes
Palabras Clave
Generación automática de pruebas de programasMutaciónMutationPrueba de programasTestingIngeniería de SoftwareReparación automática de programasAutomated Program RepairSoftware EngineeringAutomated test generation
Formación Académica

2014 - 2019

Doctor en Ciencias de la Computación

FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA, UNIVERSIDAD NACIONAL DE CORDOBA

2007 - 2014

Licenciado En Ciencias De La Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO

2007 - 2011

Analista en Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO

Formación de RRHH
Dirigido por:
AGUIRRE, NAZARENO MATIAS
Carrera Investigador
AGUIRRE, Nazareno Matias Carrera Investigador
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje