Título: Condiciones de borde inevitables Director: Sebastián Uchitel Jurados: Prof. Santiago Cifuentes (UBA), Prof. Nazareno Aguirre (UNRC) Resumen: La ingeniería de requerimientos debe lidiar frecuentemente con metas conflictivas resultantes de múltiples partes interesadas o errores de especificación. Un concepto extensamente estudiado para identificar estos conflictos es el de las [...]

Título: Acerca de cuestiones de distribución uniforme. Traducción del trabajo de N. M. Korobov de 1950 Directora: Verónica Becher Jurados: Nicolás Álvarez y Pablo Amster Resumen: Esta tesis traduce al inglés el artículo del matemático ruso Nikolai Korobov (1917–2004) publicado en 1950: 'Concerning some questions on Uniform distribution' (Bulletin [...]

Título: Abstraktor: Generación automática de abstracciones de protocolo mediante instrumentación de código para fuzzing de sistemas distribuidos Directores: Sebastián Uchitel y Víctor Braberman Jurados: Prof. Diego Garbervetsky, Prof. Hernan Melgratti Resumen: El testing de sistemas distribuidos es un problema de alta complejidad, donde los bugs más críticos emergen únicamente [...]