Supervised theses (11) Theses supervised by group members

2021

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

    David José Corral Plaza

    Supervised by MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT

2017

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

    Lorena Gutiérrez Madroñal

    Supervised by MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ
  2. Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva

    Alfonso García de Prado Fontela

    Supervised by GUADALUPE ORTIZ BELLOT
  3. Prueba de mutación evolutiva en entornos orientados a objetos

    Pedro Delgado Pérez

    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

    Antonia Estero Botaro

    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

    Antonio García Domínguez

    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

    Manuel Palomo Duarte

    Supervised by MARIA INMACULADA MEDINA BULO