Autor:
Díaz Gaspar, José

Cargando...
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

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • 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.