1. CONICET
  2. Comunidad CONICET
  3. JUAN PABLO GALEOTTI
Comunidad CONICET
GALEOTTI, JUAN PABLO

Investigador independiente

Especialidad
Ingeniería del Software
Disciplina Científica
Informática y Comunicaciones - Informática y Comunicaciones
Tema
Generación Automática de Casos de Tests basadas en búsqueda
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Depende de
Ver más información Ver menos información
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Ver mapa
Resumen Información suministrada por el agente en SIGEVA
Mis intereses en investigación están orientados hacia la generación automática de casos de tests y la especificación de programas. La generación de casos de tests involucra cuán eficientemente y automáticamente generados casos de tests (tanto a nivel de unidad como a nivel de sistema) para ejercitar un software adecuadamente and aumentar la confianza sobre su comportamiento. La inferencia requiere comprensión de lo que el programa hace y lograr el formalismo correcto para formalizar ese comport... Mis intereses en investigación están orientados hacia la generación automática de casos de tests y la especificación de programas. La generación de casos de tests involucra cuán eficientemente y automáticamente generados casos de tests (tanto a nivel de unidad como a nivel de sistema) para ejercitar un software adecuadamente and aumentar la confianza sobre su comportamiento. La inferencia requiere comprensión de lo que el programa hace y lograr el formalismo correcto para formalizar ese comportamiento.Adicionalmente, he trabajado en verificación acotada de contratos, análisis de programas, diseño de lenguajes de programación y model-checking. En especial, he trabajado en el desarrollo de métodos de decisión completos y combinaciones de SAT y SMT-Solvers
Ver más Ver menos
Líneas de Investigación

Ingeniería del Software

Ingenierías y tecnologías

  • Ingeniería eléctrica, ingeniería electrónica e ingeniería de la información
  • Otras ingeniería eléctrica, ingeniería electrónica e ingeniería de la informació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.10 - Bases de datos, gestión de bases de datos, extracción de datos
  • 1.2.13 - Tecnología de información / informática
Palabras Clave
Specification MiningVerificationTestingMining de EspecificacionesVerificacion
Formación Académica

2005 - 2011

DOCTOR DE LA UNIVERSIDAD DE BUENOS AIRES, ORIENTACION CIENCIAS DE LA COMPUTACION

UNIVERSIDAD DE BUENOS AIRES

1999 - 2004

LICENCIADO EN CIENCIAS DE LA COMPUTACION

UNIVERSIDAD DE BUENOS AIRES

1999 - 2002

ANALISTA UNIVERSITARIO DE COMPUTACION

UNIVERSIDAD DE BUENOS AIRES

Formación de RRHH
Director de:
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje