1. CONICET
  2. People
  3. JUAN PABLO GALEOTTI
CONICET Community

GALEOTTI, JUAN PABLO

INVESTIGADOR INDEPENDIENTE

SPECIALITY:

Ingeniería del Software

Scientific discipline:

Informática y Comunicaciones - Informática y Comunicaciones

Topic:

Generación Automática de Casos de Tests basadas en búsqueda . Search-based automatic test generation

Workplace

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

Contact:

Send Message

S&T Expertise*

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 *Information provided by the agent in SIGEVA

Lines of Investigation

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

Technological Capacities

  • 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

Key Words

Mining de EspecificacionesVerificacionTestingVerificationSpecification Mining

Education

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


S&T HR Training

Director of

Science and Technology Production

Loading data . . .

Services

Loading data . . .