Alberto Núñez

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 29

Top Topics

Pheromone Trails

Mutation Testing

User Interaction

Top Venues

J. Log. Algebraic Methods Program.

Expert Syst. Appl.

Inf. Softw. Technol.

Publications

Pablo C. Cañizares, Alberto Núñez, Rosa Filgueira, Juan de Lara
Parallel mutation testing for large scale systems. Clust. Comput. 27 (2) (2024)
Pablo C. Cañizares, Alberto Núñez, Adrian Bernal, María-Emilia Cambronero, Adam Barker
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures. J. Cloud Comput. 12 (1) (2023)
Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara
Automated engineering of domain-specific metamorphic testing environments. Inf. Softw. Technol. 157 (2023)
Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara
Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments. MoDELS (Companion) (2023)
Alberto Núñez, Pablo C. Cañizares, Juan de Lara
CloudExpert: An intelligent system for selecting cloud system simulators. Expert Syst. Appl. 187 (2022)
Alberto Núñez, Pablo C. Cañizares, Pablo Gómez-Abajo, Esther Guerra, Juan de Lara
Analyzing the reliability of simulated distributed systems using Metamorphic Testing. MET@ICSE (2022)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Evaluating cloud interactions with costs and SLAs. J. Supercomput. 78 (6) (2022)
Carlos Camacho, Pablo C. Cañizares, Luis Llana, Alberto Núñez
Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency. Softw. Pract. Exp. 52 (7) (2022)
Pablo C. Cañizares, Miguel Pérez, Alberto Núñez, Rosa Filgueira
Validating communication network configurations in cloud and HPC systems using Metamorphic Testing. IECC (2022)
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
Studying the Impact of the User Subscription Times in Different Cloud Configurations. SEKE (2021)
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab. 70 (1) (2021)
Pablo C. Cañizares, Pablo Gómez-Abajo, Alberto Núñez, Esther Guerra, Juan de Lara
New ideas: automated engineering of metamorphic testing environments for domain-specific languages. SLE (2021)
María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
Profiling SLAs for cloud system infrastructures and user interactions. PeerJ Comput. Sci. 7 (2021)
Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz
Analyzing the Cloud Performance Using Different User Subscription Times. Int. J. Softw. Eng. Knowl. Eng. 31 (11&12) (2021)
Pablo C. Cañizares, Alberto Núñez, Juan de Lara, Luis Llana
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. J. Syst. Softw. 163 (2020)
Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, Simon Pickin
SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. Comput. Appl. Eng. Educ. 27 (5) (2019)
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
An expert system for checking the correctness of memory systems using simulation and metamorphic testing. Expert Syst. Appl. 132 (2019)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput. 75 (12) (2019)
Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti
Probabilistic software product lines. J. Log. Algebraic Methods Program. 107 (2019)
Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo
Mutomvo: Mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143 (2018)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. J. Inf. Telecommun. 2 (1) (2018)
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
MAGICIAN: Model-based design for optimizing the configuration of data-centers. SEKE (2017)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
Using Ants to Fight Wildfire. IWANN (2) (2017)
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments. ICCS (2017)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. ACIIDS (1) (2016)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
EMINENT: EMbarrassINgly parallEl mutatioN Testing. ICCS (2016)
Carlos Camacho, Luis Llana, Alberto Núñez
Cost-related interface for software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo
A Methodology for Designing Energy-aware Systems for Computational Science. ICCS (2015)
Mercedes G. Merayo, Alberto Núñez
Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64 (2015)