Browsing Tesis de Doctorados by Author "Aguirre, Nazareno Matías"
Now showing items 1-3 of 3
-
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
Acosta, Araceli Natalia (2022-09)En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ... -
Mutación de expresiones de navegación para testing y reparación
Gutiérrez Brida, Simón Emmanuel (2018-11)Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición de este potencial ... -
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
Molina, Facundo Joaquín (2022-02)La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...