Tesis doctoral

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

    Universidad Complutense de Madrid

Tesis dirigidas (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

Tribunales de tesis (7)

  1. Presidenta del 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 del tribunal

    Applications of Information Theory and Artificial Intelligence to Software Testing 2022

    Universidad Complutense de Madrid

    IBIAS MARTINEZ, ALFREDO

  3. Presidenta del 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 del 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 del tribunal

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

    Universidad de Cádiz

    Gutiérrez Madroñal, Lorena

  6. Vocal del 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. Vocal del tribunal

    Contractual verification of web service compositions with time constraints 2011

    Universidad de Castilla-La Mancha

    MARTINEZ LOPEZ, ENRIQUE