The DBLP list contains most of my publications. If you cannot access them, please email me.
Selected Publications
Manuel Méndez, Antonio Becerra-Terón, Jesús M. Almendros-Jiménez, Mercedes G. Merayo, Manuel Núñez. Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. IEEE Trans. Reliab. 73(4): 1834-1848, 2024 .
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez. Machine learning algorithms to forecast air quality: a survey. Artificial Intelligence Review, 2023 .
Manuel Méndez, Mercedes G. Merayo, Manuel Núñez. Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Engineering Applications of Artificial Intelligence 121: 106041, 2023 .
Jesús M. Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez. Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Transactions on Software Engineering , 49(2): 549-563 , 2023.
María Castañeda, Mercedes G. Merayo, Juán Boubeta-Puig, Iván Calvo. MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information. The Journal of Universal Computer Science, 28(5): 445-474, 2022.
Jesús M. Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez. Metamorphic testing of OpenStreetMap. Information and Software Technology, 138: 106631, 2021.
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo. Wodel-Test: a model-based framework for language-independent mutation testing. Software and Systems Modeling, 20(3), 767-793 , 2021.
D. Granada, J. M. Vara, M. G. Merayo, E. Marcos. CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF. Software and Systems Modeling, 20(3), 867-895, 2021.
Iván Calvo, Mercedes G. Merayo, Manuel Núñez. A methodology to analyze heart data using fuzzy automata. Journal of Intelligent and Fuzzy Systems 37(6), 7389-7399, 2019.
Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen. Toward evaluating the level of crowd wisdom using interval estimates. Journal of Intelligent and Fuzzy Systems 32(2), 7279-7289, 2019.
Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen. An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. Wiley Interdisciplinary Reviews-Data Mining and Knowledge Discovery 9(1), 2019.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. A tool supported methodology to passively test asynchronous systems with multiple users. Information and Software Technology 104, 162-178, 2018.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Bounded Reordering in the Distributed Test Architecture. IEEE Transactions on Reliability 67(2), 522-537, 2018.
Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo.
A tool for domain-independent model mutation. Science of Computer Programming 163, 85-92, 2018.
Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo. Mutomvo: Mutation testing framework for simulated cloud and HPC environments. Journal of Systems and Software 143, 187-207, 2018.
Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez. Passive testing with asynchronous communications and timestamps. Distributed Computing 31(5), 327-342, 2018.
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez. Using fuzzy automata to diagnose and predict heart problems. IEEE Congress on Evolutionary Computation, CEC 2017, 846-853, 2017, IEEE Computer Society Press.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. An extended framework for passive asynchronous testing. Journal of Logical and Algebraic Methods in Programming 86(1), 408-424, 2017.
Pablo C. Cañizares, Mercedes G. Merayo, Juan M. Vara. LAnt: Model driven approach for ant colony optimization. Journal of Intelligent and Fuzzy Systems 32(2), 1343-1354, 2017.
Azahara Camacho, Mercedes G. Merayo, Manuel Núñez. Collective intelligence and databases in eHealth: A survey. Journal of Intelligent and Fuzzy Systems 32(2), 1485-1496, 2017.
Mercedes G. Merayo, Alberto Núñez. Passive testing of communicating systems with timeouts. Information and Software Technology 64, 19-35, 2015.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Timed implementation relations for the distributed test architecture. Distributed Computing 27, 181-201, 2014.
Alberto Núñez, Mercedes G. Merayo. A formal framework to analyze cost and performance in Map-Reduce based applications. J. Comput. Science 5(2), 106-118, 2014.
Alberto Núñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez.
Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing. 17(2), 301-315, 2013.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Using Time to Add Order to Distributed Testing. 18th Int. Symp. on Formal Methods (FM 2012), LNCS 7436, 232-246, 2012, Springer.
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. A formal framework to test soft and hard deadlines in timed systems. Softw. Test., Verif. Reliab. 22(8), 583-608, 2012.
César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal passive testing of timed systems: theory and tools. Softw. Test., Verif. Reliab. 22(6), 365-405, 2012.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Implementation relations and test generation for systems with distributed interfaces.
Distributed Computing 25(1), 35-62, 2012.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Scenarios-based testing of systems with distributed ports. Software Practice and Experience 41(10), 999-1026, 2011.
Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons. Testing timed systems modeled by Stream X-Machines. Software and Systems Modeling 10(2), 201-217, 2011.
Robert M. Hierons, Mercedes G. Merayo. Mutation Testing from Probabilistic and Stochastic Finite State Machines. Journal of Systems and Software 82(11), 1804-1818, 2009.
Lars Frantzen, Mercedes G. Merayo, Manuel Núñez. A brief history of AMOST. The Journal of Logic and Algebraic Programming 78(6), 2009, 417-424.
Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Testing from a stochastic timed system with a fault model. The Journal of Logic and Algebraic Programming 78(2), 2009, 98-115.
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Extending EFSMs to Specify and Test Timed Systems with Action Duration and Time-Outs. IEEE Transactions on Computers 57(6), 835-848, 2008.
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Formal testing from timed finite state machines. Computer Networks 52(2), 432-460, 2008.
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez. HOTL: Hypotheses and observations testing logic. The Journal of Logic and Algebraic Programming 74(2), 57-93, 2008.