Autor:
Díaz Gaspar, José

Foto de perfil
E-mails conocidos
pepediazgaspar@gmail.com
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Díaz Gaspar
Nombre de pila
José
Nombre
Nombres alternativos
Afiliaciones conocidas
University of Malaga, Spain
Páginas web conocidas
Página completa del ítem
Notificar un error en este autor

Filtros

20211
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    Generación automática de pruebas exhaustivas a partir modelos con contratos
    Díaz Gaspar, José; Muñoz, Paula; Vallecillo, Antonio. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La complejidad de los sistemas ciberfísicos hacen necesario mejores sistemas de prueba, y en particular su automatización. Este articulo propone el uso de las Pruebas basadas en modelos para la generación automática de pruebas exhaustivas a partir de las pre- y postcondiciones de las operaciones, y de sus invariantes.