MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Doktorego-tesia
-
Marcos temporales y probabilísticos para testing formal 2009
Universidad Complutense de Madrid
Zuzendutako tesiak (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
Tesi epaimahaiak (7)
-
Epaimahaiko Presidenta
Técnicas de prueba avanzadas para la generación de casos de prueba 2023Universidad de Cádiz
Valle Gómez, Kevin Jesús
-
Epaimahaiko Presidenta
Applications of Information Theory and Artificial Intelligence to Software Testing 2022Universidad Complutense de Madrid
-
Epaimahaiko Presidenta
On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures 2019Universidad de Cádiz
Mueller-Bady, Robin
-
Epaimahaiko Secretaria
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
-
Epaimahaiko Presidenta
Generación automática de casos en procesamiento de eventos con EPL 2017Universidad de Cádiz
Gutiérrez Madroñal, Lorena
-
Epaimahaikidea
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
-
Epaimahaikidea
Contractual verification of web service compositions with time constraints 2011Universidad de Castilla-La Mancha
MARTINEZ LOPEZ, ENRIQUE