MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Thesis
-
Marcos temporales y probabilísticos para testing formal 2009
Universidad Complutense de Madrid
Supervised Theses (2)
-
Un lenguaje de dominio específico para mutación de modelos 2020
Universidad Autónoma de Madrid
Gómez-Abajo, Pablo
-
Testing activo y pasivo de sistemas con información temporal y probabilística 2010
Universidad Complutense de Madrid
ANDRES SANCHEZ, CESAR
Theses Committees (7)
-
Chair of the Committee
Técnicas de prueba avanzadas para la generación de casos de prueba 2023Universidad de Cádiz
Valle Gómez, Kevin Jesús
-
Chair of the Committee
Applications of Information Theory and Artificial Intelligence to Software Testing 2022Universidad Complutense de Madrid
-
Chair of the Committee
On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures 2019Universidad de Cádiz
Mueller-Bady, Robin
-
Secretary of the Committee
Modelando la variabilidad: métodos formales para la representación de líneas de productos software 2017Universidad Complutense de Madrid
Camacho González, Carlos Delfin
-
Chair of the Committee
Generación automática de casos en procesamiento de eventos con EPL 2017Universidad de Cádiz
Gutiérrez Madroñal, Lorena
-
Committee Member
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 2013Universidad de Cádiz
Estero Botaro, Antonia
-
Committee Member
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE