Título: "MimicryMonitors: Verificación de programas con fragmentos comunes". Directores: Javier Godoy, Diego Garbervetsky Jurados: Dra. Flavia Bonomo, Dr. Juan Pablo Galeotti Resumen: En el desarrollo de software moderno, es común que los sistemas evolucionen mediante pequeños cambios incrementales. Esta característica se puede explotar en diversos escenarios, especialmente en el [...]