Publicaciones en las que colabora con PABLO CERRO CAÑIZARES (35)

2024

  1. Parallel mutation testing for large scale systems

    Cluster Computing, Vol. 27, Núm. 2, pp. 2071-2097

2023

  1. Automated engineering of domain-specific metamorphic testing environments

    Information and Software Technology, Vol. 157

  2. Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments

    Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023

  3. Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures

    Journal of Cloud Computing, Vol. 12, Núm. 1

2022

  1. Analyzing the reliability of simulated distributed systems using Metamorphic Testing

    Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022

  2. Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

    Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614

  3. CloudExpert: An intelligent system for selecting cloud system simulators

    Expert Systems with Applications, Vol. 187

  4. Evaluating cloud interactions with costs and SLAs

    Journal of Supercomputing, Vol. 78, Núm. 6, pp. 7529-7555

  5. ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers

    2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022

  6. SINPA: SupportINg the automation of construction PlAnning

    Expert Systems with Applications, Vol. 190

  7. Validating communication network configurations in cloud and HPC systems using Metamorphic Testing

    ACM International Conference Proceeding Series

2021

  1. Analyzing the Cloud Performance Using Different User Subscription Times

    International Journal of Software Engineering and Knowledge Engineering, Vol. 31, Núm. 11-12, pp. 1699-1720

  2. New ideas: Automated engineering of metamorphic testing environments for domain-specific languages

    SLE 2021 - Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2021

  3. Profiling SLAs for Cloud System Infrastructures and User Interactions

    PeerJ Computer Science, Vol. 7, pp. 1-37

  4. Studying the impact of the user subscription times in different cloud configurations

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  5. TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

    IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284

2020

  1. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

    Journal of Systems and Software, Vol. 163

2019

  1. A Framework for Modeling Cloud Infrastructures and User Interactions

    IEEE Access, Vol. 7, pp. 43269-43285

  2. An expert system for checking the correctness of memory systems using simulation and metamorphic testing

    Expert Systems with Applications, Vol. 132, pp. 44-62

  3. Improving cloud architectures using UML profiles and M2T transformation techniques

    Journal of Supercomputing, Vol. 75, Núm. 12, pp. 8012-8058