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 | 30 | 2018 |
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 | 28 | 2020 |
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 | 25 | 2020 |
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 | 21 | 2019 |
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 | 19 | 2019 |
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 | 18 | 2019 |
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 | 15 | 2018 |
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 | 12 | 2022 |
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 | 12 | 2015 |
Eminent: Embarrassingly parallel mutation testing PC Cañizares, MG Merayo, A Núñez Procedia Computer Science 80, 63-73, 2016 | 9 | 2016 |
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 | 8 | 2021 |
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 | 7 | 2022 |
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 | 6 | 2024 |
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 | 6 | 2022 |
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 | 6 | 2022 |
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 | 6 | 2021 |
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 | 5 | 2018 |
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 | 4 | 2017 |
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 | 4 | 2017 |
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 | 3 | 2022 |