David, Horia-Mihai(Universitat Politècnica de València, 2020-09-22)
[ES] En los últimos años las técnicas de análisis dinámico como el fuzzing
han demostrado ser maneras efectivas de descubrir fallos
críticos en los sistemas software modernos. La implementación de estas técnicas
requiere ...
Feliú Gabaldón, Marco Antonio(Universitat Politècnica de València, 2013-11-19)
La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...
Lucas Alba, Salvador; Meseguer, José(Springer Verlag (Germany), 2014)
Reasoning about termination of declarative programs, which are described by means of a computational logic, requires the definition of appropriate abstractions as semantic models of the logic, and also handling the conditional ...