INVESTIGADORES
BRABERMAN Victor Adrian
convenios, asesorías y/o servicios tecnológicos
Título:
Asesoramiento para la aplicación de análisis formal de programas para k-fields
Autor/es:
BRABERMAN VICTOR; D. GARBERVETSKY; UCHITEL SEBASTIAN
Fecha inicio:
2016-09-01
Fecha finalización:
2017-05-01
Campo de Aplicación:
Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Descripción:
Asesoramiento para el desarrollo de técnicas de generación de casos de tests utilizando ejecución simbólica en el contexto de la validación de campos calculados de bases de datos.El resultado de esta colaboración se plasmó en el siguiente paper con autores de Medalliahttps://dl.acm.org/doi/10.1145/3236024.3275531
