1. CONICET
  2. People
  3. JAVIER IGNACIO GODOY
CONICET Community

GODOY, JAVIER IGNACIO

INTERNA DE FINALIZACION DE DOCTORADO

SPECIALITY:

Ingeniería de Software

Scientific discipline:

Informática y Comunicaciones

Topic:

Abstracciones por predicado para validación y verificación de contratos inteligentes . Predicate abstraction for smart contracts validation and verification

Workplace

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

Contact:

Send Message

S&T Expertise*

Me desempeño como asistente de investigación en el área de ingeniería de software, particularmente en la investigación de técnicas relacionadas con la generación automática de casos de prueba. Esta línea de investigación ha cobrado mucho interes en las últimas décadas puesto que el esfuerzo que demanda testear munualmente las aplicaciones puede ser incluso superior al esfuerzo que demanda desarrollarlas. Las principales técnicas en las que participé son ejecución simbólica y técnicas de testing basadas en búsquedas tanto de forma individual como en conjunto con testing basado en modelos. *Information provided by the agent in SIGEVA

Lines of Investigation

Generación automática de casos de test CIENCIAS NATURALES Y EXACTAS - Ciencias de la Computación e Información - Ciencias de la Computació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.6. Software
      • 2.20. Software de automatización

Key Words

Testeo basado en búsquedaSeach based testingejecución simbólicaSymbolic Executiontesteo de programasSoftware testing

Education

2010 - 2016

Licenciatura en Sistemas

INSTITUTO DE INDUSTRIA, UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO


Directed by
GALEOTTI, JUAN PABLO
Scientific Research Career at CONICET

Science and Technology Production

Loading data . . .

Services

Loading data . . .