Comunidad CONICET
GODOY, JAVIER IGNACIO
INTERNA DE FINALIZACION DE DOCTORADO
ESPECIALIDAD:
Ingeniería de SoftwareDisciplina Científica:
Informática y ComunicacionesTema:
Abstracciones por predicado para validación y verificación de contratos inteligentes . Predicate abstraction for smart contracts validation and verificationLugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
| Dirección: | |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contacto:
Experticia en CyT*
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. *Información suministrada por el agente en SIGEVALíneas de Investigación
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
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.6. Software
- 2.20. Software de automatización
Palabras Clave
Testeo basado en búsquedaSeach based testingejecución simbólicaSymbolic Executiontesteo de programasSoftware testing
Formación Académica
2010 - 2016
Licenciatura en Sistemas
INSTITUTO DE INDUSTRIA, UNIVERSIDAD NACIONAL DE GENERAL SARMIENTO
Producción CyT
Cargando datos . . .
Oferta Tecnológica
Cargando datos . . .