Agenda

Título: Acelerando el Testeo de Regresiones con Mimicry Monitors Directores: Victor Braberman y Diego Garbervetsky Jurados: Lic Felicitas Garcia, Dr. Javier Godoy Resumen: En el desarrollo de software moderno, los sistemas evolucionan constantemente mediante cambios incrementales. Cada modificación plantea una pregunta inevitable: ¿es necesario volver a ejecutar todos los [...]

Título: Integración de síntesis reactiva simbólica en MTSA mediante controladores generados por Spectra Director: Hernán Gagliardi Jurados: Florencia Zanollo, Sebastian Uchitel Resumen Esta tesis estudia la integración entre MTSA y Spectra para incorporar capacidades de síntesis reactiva simbólica dentro de un flujo basado en modelos LTS. En particular, se [...]