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

Selected Publications

  • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez.
    An extended framework for passive asynchronous testing.
    Journal of Logical and Algebraic Methods in Programming (in press)
  • Mercedes G. Merayo, Alberto Núñez.
    Passive testing of communicating systems with timeouts.
    Information and Software Technology 64, 2015, pages 19-35
  • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez.
    Timed implementation relations for the distributed test architecture.
    Distributed Computing 27, 2014, pages 181-201
  • Alberto Núñez, Mercedes G. Merayo.
    A formal framework to analyze cost and performance in Map-Reduce based applications.
    J. Comput. Science 5(2), 2014, pages 106-118
  • 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), 2013, pages 301-315
  • 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),2012, pages 583-608
  • 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), 2012, pages 365-405
  • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez.
    Implementation relations and test generation for systems with distributed interfaces.
    Distributed Computing 25(1), 2012, pages 35-62
  • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez.
    Scenarios-based testing of systems with distributed ports.
    Software Practice and Experience 41(10), 2011, pages 999-1026
  • Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons.
    Testing timed systems modeled by Stream X-Machines.
    Software and Systems Modeling 10(2), 2011, pages 201-217
  • Robert M. Hierons, Mercedes G. Merayo.
    Mutation Testing from Probabilistic and Stochastic Finite State Machines.
    Journal of Systems and Software 82(11), 2009, pages 1804-1818.
  • Lars Frantzen, Mercedes G. Merayo, Manuel Núñez.
    A brief history of AMOST.
    The Journal of Logic and Algebraic Programming 78(6), 2009, pages 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, pages 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), 2008, pages 835-848.
  • Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez.
    Formal testing from timed finite state machines.
    Computer Networks 52(2), 2008, pages 432-460.
  • Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez.
    HOTL: Hypotheses and observations testing logic.
    The Journal of Logic and Algebraic Programming 74(2), 2008, pages 57-93.

Program Committees

Events Organization