Mercedes G. Merayo

Robert M. Hierons, Mercedes G. Merayo: Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Information & Software Technology 55(5): 865 (2013)

Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013)

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)

Alberto Nuñez, César Andrés, Mercedes G. Merayo: Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. Procedia CS 9: 498-507 (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)

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)

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Using Time to Add Order to Distributed Testing. FM 2012: 232-246

Alberto Nuñez, César Andrés, Mercedes G. Merayo: MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) 2012: 436-445

Mercedes G. Merayo: Passive Testing of Timed Systems with Timeouts. QSIC 2012: 69-78

Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons: Testing timed systems modeled by Stream X-machines. Software and System Modeling 10(2): 201-217 (2011)

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-based testing of systems with distributed ports. Softw., Pract. Exper. 41(10): 999-1026 (2011)

Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403

Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo (Eds.): Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011

César Andrés, Mercedes G. Merayo, Yaofeng Zhang: MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61

César Andrés, Mercedes G. Merayo, Manuel Núñez: Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Testing from a stochastic timed system with a fault model. J. Log. Algebr. Program. 78(2): 98-115 (2009)

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez: A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebr. Program. 78(6): 417-424 (2009)

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)

César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez: Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159

Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli: A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205

César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76

César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80

César Andrés, Mercedes G. Merayo, Carlos Molinero: Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops 2009: 230-239

Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334

César Andrés, Mercedes G. Merayo, Manuel Núñez: Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154

César Andrés, Mercedes G. Merayo, Manuel Núñez: Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82

César Andrés, Mercedes G. Merayo, Manuel Núñez: Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431

Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.): 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. Lecture Notes in Computer Science 5826, Springer 2009, isbn 978-3-642-05030-5

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. J. Log. Algebr. Program. 74(2): 57-93 (2008)

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008)

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215

César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427

Mercedes G. Merayo, Manuel Núñez: Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102

César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215

Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333

Mercedes G. Merayo, Manuel Núñez: Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387

Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54

Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo: How does the memory work? By timed-arc Petri nets. IEEE ICCI 2005: 128-135