Pablo C. Cañizares

According to our database, Pablo C. Cañizares authored at least 33 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parallel mutation testing for large scale systems.

Pablo C. Cañizares, Alberto Núñez, Rosa Filgueira, Juan de Lara

Clust. Comput., April, 2024

2023

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

Pablo C. Cañizares, Alberto Núñez, Adrian Bernal, María-Emilia Cambronero, Adam Barker

J. Cloud Comput., December, 2023

Automated engineering of domain-specific metamorphic testing environments.

Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara

Inf. Softw. Technol., May, 2023

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

Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Evaluating cloud interactions with costs and SLAs.

Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero

J. Supercomput., 2022

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

Carlos Camacho, Pablo C. Cañizares, Luis Llana, Alberto Núñez

Softw. Pract. Exp., 2022

CloudExpert: An intelligent system for selecting cloud system simulators.

Alberto Núñez, Pablo C. Cañizares, Juan de Lara

Expert Syst. Appl., 2022

SINPA: SupportINg the automation of construction PlAnning.

Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez

Expert Syst. Appl., 2022

Automating the measurement of heterogeneous chatbot designs.

Pablo C. Cañizares, Sara Pérez-Soler, Esther Guerra, Juan de Lara

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Automatic test amplification for executable models.

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan de Lara

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

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

Pablo C. Cañizares, Miguel Pérez, Alberto Núñez, Rosa Filgueira

Proceedings of the IECC 2022: 4th International Electronics Communication Conference, Tokyo, Japan, July 8, 2022

Asymob: a platform for measuring and clustering chatbots.

Jose María López-Morales, Pablo C. Cañizares, Sara Pérez-Soler, Esther Guerra, Juan de Lara

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Analyzing the reliability of simulated distributed systems using Metamorphic Testing.

Alberto Núñez, Pablo C. Cañizares, Pablo Gómez-Abajo, Esther Guerra, Juan de Lara

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021

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

Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons

IEEE Trans. Reliab., 2021

Profiling SLAs for cloud system infrastructures and user interactions.

María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez

PeerJ Comput. Sci., 2021

Analyzing the Cloud Performance Using Different User Subscription Times.

Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz

Int. J. Softw. Eng. Knowl. Eng., 2021

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

Pablo C. Cañizares, Pablo Gómez-Abajo, Alberto Núñez, Esther Guerra, Juan de Lara

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Studying the Impact of the User Subscription Times in Different Cloud Configurations.

Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020

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

Pablo C. Cañizares, Alberto Núñez, Juan de Lara, Luis Llana

J. Syst. Softw., 2020

2019

Improving cloud architectures using UML profiles and M2T transformation techniques.

Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero

J. Supercomput., 2019

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

Pablo C. Cañizares, Alberto Núñez, Juan de Lara

Expert Syst. Appl., 2019

A Framework for Modeling Cloud Infrastructures and User Interactions.

Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares

IEEE Access, 2019

2018

Mutomvo: Mutation testing framework for simulated cloud and HPC environments.

Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo

J. Syst. Softw., 2018

FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage.

Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez

J. Inf. Telecommun., 2018

2017

LAnt: Model driven approach for ant colony optimization.

Pablo C. Cañizares, Mercedes G. Merayo, Juan M. Vara

J. Intell. Fuzzy Syst., 2017

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.

Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini

Proceedings of the Software Technologies: Applications and Foundations, 2017

MAGICIAN: Model-based design for optimizing the configuration of data-centers.

Pablo C. Cañizares, Alberto Núñez, Juan de Lara

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Using Ants to Fight Wildfire.

Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez

Proceedings of the Advances in Computational Intelligence, 2017

OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments.

Pablo C. Cañizares, Alberto Núñez, Juan de Lara

Proceedings of the International Conference on Computational Science, 2017

2016

EMINENT: EMbarrassINgly parallEl mutatioN Testing.

Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez

Proceedings of the International Conference on Computational Science 2016, 2016

FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts.

Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez

Proceedings of the Intelligent Information and Database Systems - 8th Asian Conference, 2016

2015

A Methodology for Designing Energy-aware Systems for Computational Science.

Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo

Proceedings of the International Conference on Computational Science, 2015

2014

A Methodology for Aiding Users to Design and Model Cloud Computing Architectures.

Alberto Nuñez, Pablo C. Cañizares, Manuel Núñez

Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014