TY - THES AU - Cerro Cañizares, Pablo A3 - Núñez Covarrubias, Alberto A3 - Lara Jaramillo, Juan de PY - 2020 UR - https://hdl.handle.net/20.500.14352/11221 AB - Cloud systems are supported by complex infrastructures, which consist of a wide diversity of subsystems and components like storage, virtualisation and networking. The heterogeneous nature of these systems, their size, the high number of users that... AB - Los sistemas cloud están formados por infraestructuras complejas, donde existe una gran diversidad de subsistemas y componentes, tales como el almacenamiento, la virtualización y las redes. La heterogeneidad de estos sistemas, su amplitud, elevado... LA - eng PB - Universidad Complutense de Madrid KW - Computer systems KW - artificial intelligence KW - Cloud Computing KW - Genetic algorithms KW - Sistemas de ordenadores KW - inteligencia artificial KW - programación en la nube KW - algoritmos genéticos TI - Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing T2 - Modelado y validación de sistemas cloud utilizando ingeniería dirigida por modelos, testing metamórfico y de mutación M3 - doctoral thesis ER -