CONICET Community
GALEOTTI, JUAN PABLO

Investigador independiente

Speciality
Ingeniería del Software
Scientific discipline
Informática y Comunicaciones - Informática y Comunicaciones
Topic
Search-based automatic test generation
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Dependencies
Show more information Show less information
Address:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Show map
Summary Information provided by the agent in 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
Show more Show less
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 - Electronics, IT and Telecoms

1.2 - Information Processing, Information System, Workflow Management

  • 1.2.1 - Advanced Systems Architecture
  • 1.2.6 - Computer Software
  • 1.2.10 - Databases, Database Management, Data Mining
  • 1.2.13 - Information Technology/Informatics
Key Words
Specification MiningVerificationTestingMining de EspecificacionesVerificacion
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

HR Training
Director of: