CONICET Community
GODOY, JAVIER IGNACIO
Internal doctoral completion fellowship
SPECIALITY:
Ingeniería de SoftwareScientific discipline:
Computer Science and CommunicationsTopic:
Predicate abstraction for smart contracts validation and verificationWorkplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
| Address: | |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contact:
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 SIGEVALines of Investigation
Generación automática de casos de test
Natural and exact sciences - Computer and information sciences - Computer sciences
Technological Capacities
- 1. Electronics, IT and Telecoms
- 2. Information Processing, Information System, Workflow Management
- 2.6. Computer Software
- 2.20. Building Automation Software
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
GALEOTTI, Juan Pablo
Scientific Research Career at CONICET
Science and Technology Production
Loading data . . .
Services
Loading data . . .