Thèse de doctorat

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

    Universidad Complutense de Madrid

Thèses dirigées (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

Jurys de thèses (7)

  1. Présidente du jury

    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. Présidente du jury

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO

  3. Présidente du jury

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

    Universidad de Cádiz

    Mueller-Bady, Robin

  4. Une secrétaire du jury

    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. Présidente du jury

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

    Universidad de Cádiz

    Gutiérrez Madroñal, Lorena

  6. Rapporteur du jury

    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. Rapporteur du jury

    Contractual verification of web service compositions with time constraints 2011

    Universidad de Castilla-La Mancha

    MARTINEZ LOPEZ, ENRIQUE