BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240507T150000
DTEND;TZID=America/Sao_Paulo:20240507T160000
DTSTAMP:20260404T121533
CREATED:20240506T131350Z
LAST-MODIFIED:20240506T131350Z
UID:9102-1715094000-1715097600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Chiara Tarzia
DESCRIPTION:Título: «EPAs para REST APIs con EvoMaster»\nDirector: Dr. Juan P. Galeotti\nJurados: Dr. Guido De Caso y Dr. Sebastian Uchitel\n\nResumen:\nLa validación y verificación de las REST APIs pueden resultar altamente complejas debido a la gran cantidad de endpoints que pueden contener. Cada combinación de llamadas HTTP puede requerir diversas precondiciones que pueden no estar documentadas. En este trabajo\, se propone una innovadora solución para la generación de Enabledness-Preserving Abstractions (EPAs) para REST APIs utilizando EvoMaster\, una herramienta de generación de pruebas automatizadas con algoritmos evolutivos. Las EPAs son una representación del modelo mental que los desarrolladores tienen de una API\, modelando el comportamiento del código y facilitando su análisis y comprensión. La propuesta se destaca por su enfoque dinámico en la generación de EPAs\, a diferencia de los métodos estáticos tradicionales. Adicionalmente\, se plantea la modificación del algoritmo evolutivo MIO de EvoMaster\, incorporando una heurística que prioriza la identificación de nuevos arcos en las EPAs. Esta estrategia permite enfocar los casos de prueba para maximizar la cobertura de la EPA.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-chiara-tarzia/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240531T110000
DTEND;TZID=America/Sao_Paulo:20240531T120000
DTSTAMP:20260404T121533
CREATED:20240527T124316Z
LAST-MODIFIED:20240527T124316Z
UID:9133-1717153200-1717156800@www.dc.uba.ar
SUMMARY:Defenda Tesis Licenciatura Julian Braier
DESCRIPTION:Título: Reducción de Simetrías para la versión modular de Non-blocking\nDirector: Sebastián Uchitel\nJurados: Victor Braberman y Hernán Gagliardi \nResumen:\nEn esta tesis tratamos con el problema de control dirigido con objetivos Safe y Non-blocking\, más precisamente\, con su versión modular. En esta versión\, el input es una especificación representada con varios autómatas\, y se quiere resolver el problema de control en la composición paralela de estos. En la composición\, se genera una explosión exponencial de la cantidad de estados. Observamos que\, en algunas especificaciones\, hay autómatas que son isomorfos entre sí\, lo cual puede causar que la planta compuesta presente simetrías. Se decide explorar si hay alguna posibilidad de mejora\, sacando provecho de estas simetrías para atenuar la explosión de estados. Siguiendo este enfoque\, se propone e implementa un nuevo algoritmo. En los casos en los que estas simetrías se presentan\, este logra una mejor performance que los algoritmos preexistentes.
URL:https://www.dc.uba.ar/event/defenda-tesis-licenciatura-julian-braier/
LOCATION:Aula 1206
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR