Tese doutoral

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

    Universidad Complutense de Madrid

Teses dirixidas (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

Tribunais de teses (7)

  1. Presidenta do tribunal

    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. Presidenta do tribunal

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO

  3. Presidenta do tribunal

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

    Universidad de Cádiz

    Mueller-Bady, Robin

  4. Secretaria do tribunal

    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. Presidenta do tribunal

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

    Universidad de Cádiz

    Gutiérrez Madroñal, Lorena

  6. Vogal do tribunal

    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. Vogal do tribunal

    Contractual verification of web service compositions with time constraints 2011

    Universidad de Castilla-La Mancha

    MARTINEZ LOPEZ, ENRIQUE