Mercedes G. Merayo

112 papers A 1B 13C 8Misc 4Journal 45Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Combining sequential test cases into an equivalent set of adaptive test cases. J. Log. Algebraic Methods Program. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2025	J	`jnl`	Design of hybrid machine learning and TF-IDF models to discard irrelevant reviews on public transport stations. J. Inf. Telecommun. Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2024	—	`conf`	An Evolutionary Algorithm and a Clustering Technique to Select Good Subsets of Test for Finite State Machines. ICCCI (CCIS Volume 2) Miguel Benito-Parejo, Manuel Méndez, Mercedes G. Merayo
2024	J	`jnl`	Combining Metamorphic Testing and Machine Learning to Enhance OpenStreetMap. IEEE Trans. Reliab. Manuel Méndez, Antonio Becerra-Terón, Jesús Manuel Almendros-Jiménez, Mercedes G. Merayo, Manuel Núñez
2024	—	`conf`	Testing the Robustness of Machine Learning Models Through Mutations. ICCCI (CCIS Volume 1) Manuel Méndez, Miguel Benito-Parejo, Mercedes G. Merayo
2023	—	`conf`	Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2023	J	`jnl`	Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Eng. Appl. Artif. Intell. Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2023	J	`jnl`	Machine learning algorithms to forecast air quality: a survey. Artif. Intell. Rev. Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
2023	J	`jnl`	Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
2022	J	`jnl`	MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information. J. Univers. Comput. Sci. María Castañeda, Mercedes G. Merayo, Juan Boubeta-Puig, Iván Calvo
2021	B	`conf`	An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System. ICCCI Rafal Palak, Krystian Wojtkiewicz, Mercedes G. Merayo
2021	J	`jnl`	CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF. Softw. Syst. Model. David Granada, Juan M. Vara, Mercedes G. Merayo, Esperanza Marcos
2021	J	`jnl`	Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Mercedes G. Merayo, Manuel Núñez
2021	B	`conf`	Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts. CEC Miguel Benito-Parejo, Mercedes G. Merayo
2021	J	`jnl`	Wodel-Test: a model-based framework for language-independent mutation testing. Softw. Syst. Model. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2020	—	`conf`	A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2020	B	`conf`	An evolutionary algorithm for selection of test cases. CEC Miguel Benito-Parejo, Mercedes G. Merayo
2020	B	`conf`	An evolutionary technique for supporting the consensus process of group decision making. SMC Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Núñez
2020	J	`jnl`	Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
2020	—	`conf`	Mutation Operators for Google Query Language. ACIIDS (Companion) Lorena Gutiérrez-Madroñal, Inmaculada Medina-Bulo, Mercedes G. Merayo
2020	—	`conf`	Seed Model Synthesis for Testing Model-Based Mutation Operators. CAiSE Forum Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2020	J	`jnl`	Systematic Engineering of Mutation Operators. J. Object Technol. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2019	J	`jnl`	A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2019	J	`jnl`	An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. WIREs Data Mining Knowl. Discov. Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen
2019	—	`conf`	Conformance Relations for Fuzzy Automata. IWANN (1) Iván Calvo, Mercedes G. Merayo, Manuel Núñez, Francisco Palomo-Lozano
2019	—	`conf`	Mutation testing for DSLs (tool demo). DSM@SPLASH Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2019	J	`jnl`	Toward evaluating the level of crowd wisdom using interval estimates. J. Intell. Fuzzy Syst. Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen
2019	—	`conf`	Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez
2018	—	`conf`	A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates. WIMS Van Du Nguyen, Hai Bang Truong, Trong Hai Duong, Mercedes G. Merayo, Ngoc Thanh Nguyen
2018	J	`jnl`	A tool for domain-independent model mutation. Sci. Comput. Program. Pablo Gómez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo
2018	J	`jnl`	A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018	—	`conf`	An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) Iván Calvo, Mercedes G. Merayo, Manuel Núñez
2018	J	`jnl`	Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2018	J	`jnl`	FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. J. Inf. Telecommun. Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2018	—	`conf`	Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance. ICCCI (1) Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen
2018	J	`jnl`	Mutomvo: Mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo
2018	J	`jnl`	Passive testing with asynchronous communications and timestamps. Distributed Comput. Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2018	C	`ed.`	Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings ICTSS Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
2017	J	`jnl`	An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2017	J	`jnl`	Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo
2017	J	`jnl`	Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
2017	—	`conf`	Heuristics for ROSA's LTS Searching. IWANN (2) Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo
2017	—	`conf`	Intelligent Collective: The Role of Diversity and Collective Cardinality. ICCCI (1) Van Du Nguyen, Mercedes G. Merayo, Ngoc Thanh Nguyen
2017	J	`jnl`	Intelligent collective: some issues with collective cardinality. J. Inf. Telecommun. Van Du Nguyen, Mercedes G. Merayo
2017	J	`jnl`	Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
2017	J	`jnl`	LAnt: Model driven approach for ant colony optimization. J. Intell. Fuzzy Syst. Pablo C. Cañizares, Mercedes G. Merayo, Juan M. Vara
2017	J	`jnl`	Preface: Special issue on software verification and testing. J. Syst. Softw. Mercedes G. Merayo, Gwen Salaün
2017	—	`conf`	Using Ants to Fight Wildfire. IWANN (2) Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2017	—	`conf`	Using Evolutionary Computation to Improve Mutation Testing. IWANN (2) Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Mercedes G. Merayo
2017	B	`conf`	Using fuzzy automata to diagnose and predict heart problems. CEC Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
2016	C	`conf`	Controllability Through Nondeterminism in Distributed Testing. ICTSS Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2016	Misc	`conf`	EMINENT: EMbarrassINgly parallEl mutatioN Testing. ICCS Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2016	—	`conf`	FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. ACIIDS (1) Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2015	J	`jnl`	Introduction to the special issue on Mutation Testing. Softw. Test. Verification Reliab. Yue Jia, Mercedes G. Merayo, Mark Harman
2015	J	`jnl`	Passive testing of communicating systems with timeouts. Inf. Softw. Technol. Mercedes G. Merayo, Alberto Núñez
2014	J	`jnl`	A formal framework to analyze cost and performance in Map-Reduce based applications. J. Comput. Sci. Alberto Nuñez, Mercedes G. Merayo
2014	—	`conf`	PTTAC: Passive Testing Tool for Asynchronous Systems. SITIS Maria Azahara Camacho-Magrinan, Mercedes G. Merayo, Inmaculada Medina-Bulo
2014	C	`ed.`	Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings ICTSS Mercedes G. Merayo, Edgardo Montes de Oca
2014	J	`jnl`	Timed implementation relations for the distributed test architecture. Distributed Comput. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013	J	`jnl`	Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Inf. Softw. Technol. Robert M. Hierons, Mercedes G. Merayo
2013	—	`conf`	Passive Testing with Asynchronous Communications. FMOODS/FORTE Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2013	Misc	`conf`	SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. ICCS Alberto Nuñez, Rosa Filgueira, Mercedes G. Merayo
2013	B	`ed.`	Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings SEFM Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti
2013	J	`jnl`	Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2012	J	`jnl`	A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2012	J	`jnl`	Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. César Andrés, Mercedes G. Merayo, Manuel Núñez
2012	J	`jnl`	Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2012	—	`conf`	MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) Alberto Nuñez, César Andrés, Mercedes G. Merayo
2012	Misc	`conf`	Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS Alberto Nuñez, César Andrés, Mercedes G. Merayo
2012	—	`conf`	Passive Testing of Timed Systems with Timeouts. QSIC Mercedes G. Merayo
2012	B	`conf`	Using Time to Add Order to Distributed Testing. FM Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2011	—	`conf`	A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2011	—	`ed.`	Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. QSIC Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo
2011	J	`jnl`	Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2011	J	`jnl`	Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons
2010	—	`conf`	MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) César Andrés, Mercedes G. Merayo, Yaofeng Zhang
2010	C	`conf`	Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE César Andrés, Mercedes G. Merayo, Manuel Núñez
2010	—	`ch.`	Mutation Testing. Encyclopedia of Software Engineering Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2010	—	`conf`	Scenarios-Based Testing of Systems with Distributed Ports. QSIC Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2009	C	`conf`	A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli
2009	J	`jnl`	A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops César Andrés, Mercedes G. Merayo, Carlos Molinero
2009	—	`conf`	Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2009	C	`conf`	Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
2009	B	`conf`	Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	J	`jnl`	Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. Robert M. Hierons, Mercedes G. Merayo
2009	A	`conf`	Passive Testing of Stochastic Timed Systems. ICST César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	—	`conf`	Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC César Andrés, Mercedes G. Merayo, Manuel Núñez
2009	J	`jnl`	Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2009	—	`ed.`	Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings TestCom/FATES Manuel Núñez, Paul Baker, Mercedes G. Merayo
2009	C	`conf`	Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	B	`conf`	Controllable Test Cases for the Distributed Test Architecture. ATVA Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008	—	`conf`	Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS Mercedes G. Merayo, Manuel Núñez
2008	J	`jnl`	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008	B	`conf`	Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez
2008	—	`conf`	Formal Development of a Complex Information System. ICONS César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	J	`jnl`	Formal testing from timed finite state machines. Comput. Networks Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008	J	`jnl`	HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2008	—	`conf`	Implementation Relations for the Distributed Test Architecture. TestCom/FATES Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
2008	B	`conf`	Passive Testing of Timed Systems. ATVA César Andrés, Mercedes G. Merayo, Manuel Núñez
2008	—	`conf`	THOTL: A Timed Extension of HOTL. TestCom/FATES Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	B	`conf`	A Brief Introduction to ATVA Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	Formal Specification of Multi-agent Systems by Using EUSMs. FSEN Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	Misc	`conf`	Generation of optimal finite test suites for timed systems. TASE Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	B	`conf`	Testing conformance on Stochastic Stream X-Machines. SEFM Mercedes G. Merayo, Manuel Núñez
2006	—	`conf`	A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2006	C	`conf`	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2006	—	`conf`	Implementation Relations for Stochastic Finite State Machines. EPEW Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2005	—	`conf`	How does the memory work? By timed-arc Petri nets. IEEE ICCI Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo