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