1. CONICET
  2. Personas
  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 . Search-based automatic test generation

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

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 *Información suministrada por el agente en SIGEVA

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
    • 2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo
      • 2.1. Arquitectura avanzada de sistemas
      • 2.6. Software
      • 2.10. Bases de datos, gestión de bases de datos, extracción de datos
      • 2.13. Tecnología de información / informática

Palabras Clave

Mining de EspecificacionesVerificacionTestingVerificationSpecification Mining

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 Recursos Humanos en CyT

Director de

Producción CyT

Cargando datos . . .

Oferta Tecnológica

Cargando datos . . .