{"id":7,"date":"2020-01-20T12:11:27","date_gmt":"2020-01-20T12:11:27","guid":{"rendered":"http:\/\/antares.sip.ucm.es\/mercedes2\/?page_id=7"},"modified":"2025-03-31T02:04:55","modified_gmt":"2025-03-31T02:04:55","slug":"research","status":"publish","type":"page","link":"https:\/\/antares.sip.ucm.es\/mercedes\/?page_id=7","title":{"rendered":"Publications"},"content":{"rendered":"\n

The DBLP list<\/a> contains most of my publications. If you cannot access them, please email me<\/a>.<\/p>\n\n\n\n

Selected Publications<\/h3>\n\n\n\n

Manuel M\u00e9ndez, Antonio Becerra-Ter\u00f3n, Jes\u00fas M. Almendros-Jim\u00e9nez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap<\/strong>. IEEE Trans. Reliab. 73(4): 1834-1848, 2024 . <\/p>\n\n\n\n

Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Machine learning algorithms to forecast air quality: a survey.\u00a0\u00a0<\/strong> Artificial Intelligence Review, 2023 . <\/p>\n\n\n\n

Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model.\u00a0<\/strong>Engineering Applications of Artificial Intelligence 121<\/a>: 106041, 2023 . <\/p>\n\n\n\n

Jes\u00fas M. Almendros-Jim\u00e9nez, Antonio Becerra-Ter\u00f3n, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap<\/strong>. IEEE Transactions on Software Engineering , 4<\/a>9(2): 549-563 , 2023. <\/p>\n\n\n\n

Mar\u00eda Casta\u00f1eda, Mercedes G. Merayo, Ju\u00e1n Boubeta-Puig, Iv\u00e1n Calvo. MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information.\u00a0<\/strong>The Journal of Universal Computer Science, 28(5): 445-474, 2022.<\/p>\n\n\n\n

Jes\u00fas M. Almendros-Jim\u00e9nez, Antonio Becerra-Ter\u00f3n, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Metamorphic testing of OpenStreetMap<\/strong>. Information and Software Technology, 138<\/a>: 106631<\/em>, 2021.<\/p>\n\n\n\n

Pablo G\u00f3mez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo.<\/em> Wodel-Test: a model-based framework for language-independent mutation testing<\/strong>. Software and Systems Modeling, 20(3), 767-793 , 2021.<\/p>\n\n\n\n

D. Granada, J. M. Vara, M. G. Merayo, E. Marcos. CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF<\/strong>. Software and Systems Modeling, 20(<\/em>3), 867-895<\/em>, 2021.<\/p>\n\n\n\n

Iv\u00e1n Calvo, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. A methodology to analyze heart data using fuzzy automata.<\/strong> Journal of Intelligent and Fuzzy Systems 37(6), 7389-7399, 2019.<\/p>\n\n\n\n

Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen. Toward evaluating the level of crowd wisdom using interval estimates<\/strong>. Journal of Intelligent and Fuzzy Systems 32(2), 7279-7289, 2019.<\/p>\n\n\n\n

Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen. An overview on consensus-based approaches to processing collective inconsistency and<\/strong> knowledge integration.<\/strong> Wiley Interdisciplinary Reviews-Data Mining and Knowledge Discovery 9(1), 2019.<\/p>\n\n\n\n

Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez. A tool supported methodology to passively test asynchronous systems with multiple users<\/strong>. Information and Software Technology 104, 162-178, 2018. <\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Bounded Reordering in the Distributed Test Architecture<\/strong>. IEEE Transactions on Reliability 67(2), 522-537, 2018. <\/p>\n\n\n\n

Pablo G\u00f3mez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo.
A tool for domain-independent model mutation<\/strong>. Science of Computer Programming 163, 85-92, 2018.<\/p>\n\n\n\n

Pablo C. Ca\u00f1izares, Alberto N\u00fa\u00f1ez, Mercedes G. Merayo. Mutomvo: Mutation testing framework for simulated cloud and HPC environments<\/strong>. Journal of Systems and Software 143, 187-207, 2018.<\/p>\n\n\n\n

Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez. Passive testing with asynchronous communications and timestamps<\/strong>. Distributed Computing 31(5), 327-342, 2018.<\/p>\n\n\n\n

Azahara Camacho, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Using fuzzy automata to diagnose and predict heart problems<\/strong>. IEEE Congress on Evolutionary Computation, CEC 2017, 846-853, 2017, IEEE Computer Society Press.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. An extended framework for passive asynchronous testing<\/strong>. Journal of Logical and Algebraic Methods in Programming 86(1), 408-424, 2017.<\/p>\n\n\n\n

Pablo C. Ca\u00f1izares, Mercedes G. Merayo, Juan M. Vara. LAnt: Model driven approach for ant colony optimization<\/strong>. Journal of Intelligent and Fuzzy Systems 32(2), 1343-1354, 2017.<\/p>\n\n\n\n

Azahara Camacho, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Collective intelligence and databases in eHealth: A survey<\/strong>. Journal of Intelligent and Fuzzy Systems 32(2), 1485-1496, 2017.<\/p>\n\n\n\n

Mercedes G. Merayo, Alberto N\u00fa\u00f1ez. Passive testing of communicating systems with timeouts<\/strong>. Information and Software Technology 64, 19-35, 2015.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Timed implementation relations for the distributed test architecture<\/strong>. Distributed Computing 27, 181-201, 2014.<\/p>\n\n\n\n

Alberto N\u00fa\u00f1ez, Mercedes G. Merayo. A formal framework to analyze cost and performance in Map-Reduce based applications<\/strong>. J. Comput. Science 5(2), 106-118, 2014.<\/p>\n\n\n\n

Alberto N\u00fa\u00f1ez, Mercedes G. Merayo, Robert M. Hierons, Manuel N\u00fa\u00f1ez.
Using genetic algorithms to generate test sequences for complex timed systems<\/strong>. Soft Computing. 17(2), 301-315, 2013.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Using Time to Add Order to Distributed Testing<\/strong>. 18th Int. Symp. on Formal Methods (FM 2012), LNCS 7436, 232-246, 2012, Springer.<\/p>\n\n\n\n

Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez. A formal framework to test soft and hard deadlines in timed systems<\/strong>. Softw. Test., Verif. Reliab. 22(8), 583-608, 2012.<\/p>\n\n\n\n

C\u00e9sar Andr\u00e9s, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Formal passive testing of timed systems: theory and tools<\/strong>. Softw. Test., Verif. Reliab. 22(6), 365-405, 2012.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Implementation relations and test generation for systems with distributed interfaces<\/strong>.
Distributed Computing 25(1), 35-62, 2012.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Scenarios-based testing of systems with distributed ports<\/strong>. Software Practice and Experience 41(10), 999-1026, 2011.<\/p>\n\n\n\n

Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Robert M. Hierons. Testing timed systems modeled by Stream X-Machines<\/strong>. Software and Systems Modeling 10(2), 201-217, 2011.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo. Mutation Testing from Probabilistic and Stochastic Finite State Machines<\/strong>. Journal of Systems and Software 82(11), 1804-1818, 2009.<\/p>\n\n\n\n

Lars Frantzen, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. A brief history of AMOST<\/strong>. The Journal of Logic and Algebraic Programming 78(6), 2009, 417-424.<\/p>\n\n\n\n

Robert M. Hierons, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Testing from a stochastic timed system with a fault model<\/strong>. The Journal of Logic and Algebraic Programming 78(2), 2009, 98-115.<\/p>\n\n\n\n

Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez. Extending EFSMs to Specify and Test Timed Systems with Action Duration and Time-Outs<\/strong>. IEEE Transactions on Computers 57(6), 835-848, 2008.<\/p>\n\n\n\n

Mercedes G. Merayo, Manuel N\u00fa\u00f1ez, Ismael Rodr\u00edguez. Formal testing from timed finite state machines<\/strong>. Computer Networks 52(2), 432-460, 2008.<\/p>\n\n\n\n

Ismael Rodr\u00edguez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. HOTL: Hypotheses and observations testing logic<\/strong>. The Journal of Logic and Algebraic Programming 74(2), 57-93, 2008.<\/p>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

The DBLP list contains most of my publications. If you cannot access them, please email me. Selected Publications Manuel M\u00e9ndez, Antonio Becerra-Ter\u00f3n, Jes\u00fas M. Almendros-Jim\u00e9nez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. IEEE Trans. Reliab. 73(4): 1834-1848, 2024 . Manuel M\u00e9ndez, Mercedes G. Merayo, Manuel N\u00fa\u00f1ez. Machine learning algorithms to forecast … <\/p>\n

Continue reading “Publications”<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/pages\/7","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7"}],"version-history":[{"count":9,"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":1363,"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions\/1363"}],"wp:attachment":[{"href":"https:\/\/antares.sip.ucm.es\/mercedes\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}