Doktorego-tesia

  1. Marcos temporales y probabilísticos para testing formal 2009

    Universidad Complutense de Madrid

Zuzendutako tesiak (2)

  1. Un lenguaje de dominio específico para mutación de modelos 2020

    Universidad Autónoma de Madrid

    Gómez-Abajo, Pablo

  2. Testing activo y pasivo de sistemas con información temporal y probabilística 2010

    Universidad Complutense de Madrid

    ANDRES SANCHEZ, CESAR

Tesi epaimahaiak (7)

  1. Epaimahaiko Presidenta

    Técnicas de prueba avanzadas para la generación de casos de prueba 2023

    Universidad de Cádiz

    Valle Gómez, Kevin Jesús

  2. Epaimahaiko Presidenta

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO

  3. Epaimahaiko Presidenta

    On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures 2019

    Universidad de Cádiz

    Mueller-Bady, Robin

  4. Epaimahaiko Secretaria

    Modelando la variabilidad: métodos formales para la representación de líneas de productos software 2017

    Universidad Complutense de Madrid

    Camacho González, Carlos Delfin

  5. Epaimahaiko Presidenta

    Generación automática de casos en procesamiento de eventos con EPL 2017

    Universidad de Cádiz

    Gutiérrez Madroñal, Lorena

  6. Epaimahaikidea

    Aplicación de la prueba de mutaciones a composiciones de servicios web en ws-bpel para la generación de conjuntos de casos de prueba de calidad 2013

    Universidad de Cádiz

    Estero Botaro, Antonia

  7. Epaimahaikidea

    Contractual verification of web service compositions with time constraints 2011

    Universidad de Castilla-La Mancha

    MARTINEZ LOPEZ, ENRIQUE