| 2024 | ICCCI | An Evolutionary Algorithm and a Clustering Technique to Select Good Subsets of Test for Finite State Machines. | Miguel Benito-Parejo, Manuel Mndez, Mercedes G. Merayo |
| 2024 | ICCCI | Testing the Robustness of Machine Learning Models Through Mutations. | Manuel Mndez, Miguel Benito-Parejo, Mercedes G. Merayo |
| 2021 | CEC | Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts. | Miguel Benito-Parejo, Mercedes G. Merayo |
| 2021 | ICCCI | An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System. | Rafal Palak, Krystian Wojtkiewicz, Mercedes G. Merayo |
| 2020 | ACIIDS | A Trading Framework Based on Fuzzy Moore Machines. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez |
| 2020 | ACIIDS | Mutation Operators for Google Query Language. | Lorena Gutirrez-Madroal, Inmaculada Medina-Bulo, Mercedes G. Merayo |
| 2020 | CaiSE | Seed Model Synthesis for Testing Model-Based Mutation Operators. | Pablo Gmez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo |
| 2020 | CEC | An evolutionary algorithm for selection of test cases. | Miguel Benito-Parejo, Mercedes G. Merayo |
| 2020 | SMC | An evolutionary technique for supporting the consensus process of group decision making. | Miguel Benito-Parejo, Mercedes G. Merayo, Manuel Nez |
| 2019 | IWANN | Using Genetic Algorithms to Generate Test Suites for FSMs. | Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Nez |
| 2019 | IWANN | Conformance Relations for Fuzzy Automata. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez, Francisco Palomo-Lozano |
| 2019 | OOPSLA | Mutation testing for DSLs (tool demo). | Pablo Gmez-Abajo, Esther Guerra, Juan de Lara, Mercedes G. Merayo |
| 2018 | ACIIDS | An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez |
| 2018 | ICCCI | Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance. | Van Du Nguyen, Hai Bang Truong, Mercedes G. Merayo, Ngoc Thanh Nguyen |
| 2017 | CEC | Using fuzzy automata to diagnose and predict heart problems. | Azahara Camacho, Mercedes G. Merayo, Manuel Nez |
| 2017 | ICCCI | Intelligent Collective: The Role of Diversity and Collective Cardinality. | Van Du Nguyen, Mercedes G. Merayo, Ngoc Thanh Nguyen |
| 2017 | IWANN | Using Ants to Fight Wildfire. | Pablo C. Caizares, Mercedes G. Merayo, Alberto Nez |
| 2017 | IWANN | Using Evolutionary Computation to Improve Mutation Testing. | Pedro Delgado-Prez, Inmaculada Medina-Bulo, Mercedes G. Merayo |
| 2017 | IWANN | Heuristics for ROSA's LTS Searching. | Fernando Lpez Pelayo, Fernando Cuartero Gmez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo |
| 2016 | ACIIDS | FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. | Pablo C. Caizares, Mercedes G. Merayo, Alberto Nez |
| 2016 | ICCS | EMINENT: EMbarrassINgly parallEl mutatioN Testing. | Pablo C. Caizares, Mercedes G. Merayo, Alberto Nez |
| 2013 | FORTE | Passive Testing with Asynchronous Communications. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2013 | ICCS | SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. | Alberto Nuez, Rosa Filgueira, Mercedes G. Merayo |
| 2012 | FM | Using Time to Add Order to Distributed Testing. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2012 | ICCCI | MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. | Alberto Nuez, Csar Andrs, Mercedes G. Merayo |
| 2011 | IWANN | A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2010 | ACIIDS | MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. | Csar Andrs, Mercedes G. Merayo, Yaofeng Zhang |
| 2010 | SEKE | Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | APSEC | Analysis of the OLSR Protocol by Using Formal Passive Testing. | Csar Andrs, Stphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICFEM | A Statistical Approach to Test Stochastic and Probabilistic Systems. | Mercedes G. Merayo, Iksoon Hwang, Manuel Nez, Ana R. Cavalli |
| 2009 | ICST | Advantages of Mutation in Passive Testing: An Empirical Study. | Csar Andrs, Mercedes G. Merayo, Carlos Molinero |
| 2009 | ICST | Passive Testing of Stochastic Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | ICST | Formal Correctness of a Passive Testing Approach for Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | IWANN | Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2009 | SEKE | Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2009 | SEFM | Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | ATVA | Passive Testing of Timed Systems. | Csar Andrs, Mercedes G. Merayo, Manuel Nez |
| 2008 | ATVA | Controllable Test Cases for the Distributed Test Architecture. | Robert M. Hierons, Mercedes G. Merayo, Manuel Nez |
| 2008 | SEFM | Extending Stream X-Machines to Specify and Test Systems with Timeouts. | Mercedes G. Merayo, Robert M. Hierons, Manuel Nez |
| 2007 | ATVA | A Brief Introduction to | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | SEFM | Testing conformance on Stochastic Stream X-Machines. | Mercedes G. Merayo, Manuel Nez |
| 2007 | TASE | Generation of optimal finite test suites for timed systems. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2006 | FORTE | Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |