关注
Pablo C Cañizares
标题
引用次数
引用次数
年份
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
302018
MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems
PC Canizares, A Núnez, J De Lara, L Llana
Journal of Systems and Software 163, 110522, 2020
282020
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
252020
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
212019
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
192019
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
182019
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
152018
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
122022
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
122015
Eminent: Embarrassingly parallel mutation testing
PC Cañizares, MG Merayo, A Núñez
Procedia Computer Science 80, 63-73, 2016
92016
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
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
72022
Measuring and clustering heterogeneous chatbot designs
PC Canizares, JM López-Morales, S Pérez-Soler, E Guerra, J de Lara
ACM Transactions on Software Engineering and Methodology 33 (4), 1-43, 2024
62024
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
62022
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
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
62021
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
52018
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
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
32022
系统目前无法执行此操作,请稍后再试。
文章 1–20