Search
Now showing items 1-1 of 1
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(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, ...