Supervised theses (14) Theses supervised by group members

2023

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

    Valle Gómez, Kevin Jesús

    Supervised by MARIA INMACULADA MEDINA BULO y PEDRO DELGADO PEREZ

2021

  1. Procesamiento de datos heterogéneos en el internet de las cosas

    Corral Plaza, David José

    Supervised by MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT

2017

  1. Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva

    García de Prado Fontela, Alfonso

    Supervised by GUADALUPE ORTIZ BELLOT
  2. Generación automática de casos en procesamiento de eventos con EPL

    Gutiérrez Madroñal, Lorena

    Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ
  3. Prueba de mutación evolutiva en entornos orientados a objetos

    Delgado Pérez, Pedro

    Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ

2013

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

    Estero Botaro, Antonia

    Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ
  2. Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación

    García Domínguez, Antonio

    Supervised by MARIANO MARCOS BARCENA y MARIA INMACULADA MEDINA BULO

2011

  1. Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

    Palomo Duarte, Manuel

    Supervised by MARIA INMACULADA MEDINA BULO

2009

  1. Búsquedas genéticas: métodos de optimización global y optimización combinatoria

    Domínguez Jiménez, Juan José

    Supervised by MARIA INMACULADA MEDINA BULO