Publications

The DBLP list contains most of my publications. If you cannot access them, please email me.

Selected Publications

  • 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.