Follow
Pablo C Cañizares
Title
Cited by
Cited by
Year
Mutomvo: Mutation testing framework for simulated cloud and HPC environments
PC Cañizares, A Núñez, MG Merayo
Journal of Systems and Software 143, 187-207, 2018
282018
MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems
PC Canizares, A Núñez, J de Lara, L Llana
Journal of Systems and Software 163, 110522, 2020
252020
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
A Núñez, PC Cañizares, M Núñez, RM Hierons
IEEE Transactions on Reliability 70 (1), 261-284, 2020
222020
A framework for modeling cloud infrastructures and user interactions
A Bernal, ME Cambronero, V Valero, A Nunez, PC Canizares
IEEE Access 7, 43269-43285, 2019
182019
Improving cloud architectures using UML profiles and M2T transformation techniques
A Bernal, ME Cambronero, A Núñez, PC Cañizares, V Valero
The Journal of Supercomputing 75 (12), 8012-8058, 2019
172019
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
PC Canizares, A Núñez, J de Lara
Expert Systems with Applications 132, 44-62, 2019
152019
A tool-supported framework for work planning on construction sites based on constraint programming
A Camacho, PC Cañizares, S Estévez, M Núñez
Automation in Construction 86, 190-198, 2018
142018
Automating the measurement of heterogeneous chatbot designs
PC Cañizares, S Pérez-Soler, E Guerra, J de Lara
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1491-1498, 2022
92022
Eminent: Embarrassingly parallel mutation testing
PC Cañizares, MG Merayo, A Núñez
Procedia Computer Science 80, 63-73, 2016
92016
A methodology for designing energy-aware systems for computational science
PC Cañizares, A Núñez, M Núñez, JJ Pardo
Procedia Computer Science 51, 2804-2808, 2015
92015
New ideas: automated engineering of metamorphic testing environments for domain-specific languages
PC Cañizares, P Gómez-Abajo, A Núñez, E Guerra, J de Lara
Proceedings of the 14th ACM SIGPLAN International Conference on Software …, 2021
82021
CloudExpert: An intelligent system for selecting cloud system simulators
A Núñez, PC Cañizares, J de Lara
Expert Systems with Applications 187, 115955, 2022
62022
Evaluating cloud interactions with costs and SLAs
A Bernal, ME Cambronero, A Núñez, PC Cañizares, V Valero
The Journal of Supercomputing, 1-27, 2022
52022
Profiling SLAs for cloud system infrastructures and user interactions
ME Cambronero, A Bernal, V Valero, PC Cañizares, A Núñez
PeerJ Computer Science 7, e513, 2021
52021
Chaos as a Software Product Line—a platform for improving open hybrid‐cloud systems resiliency
C Camacho, PC Cañizares, L Llana, A Núñez
Software: Practice and Experience 52 (7), 1581-1614, 2022
42022
Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage
PC Cañizares, MG Merayo, A Núñez
Journal of Information and Telecommunication 2 (1), 2-18, 2018
42018
A multi-agent system architecture for statistics managing and soccer forecasting
PC Cañizares, MG Merayo, M Núñez, V Suárez-Paniagua
2017 2nd IEEE International Conference on Computational Intelligence and …, 2017
42017
OUTRIDER: optimizing the mutation testing process in distributed environments
PC Cañizares, A Núñez, J de Lara
Procedia Computer Science 108, 505-514, 2017
42017
SINPA: SupportINg the automation of construction PlAnning
PC Cañizares, S Estévez-Martín, M Núñez
Expert Systems with Applications 190, 116149, 2022
32022
Asymob: a platform for measuring and clustering chatbots
JM López-Morales, PC Cañizares, S Pérez-Soler, E Guerra, J de Lara
Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20