Mercedes G. Merayo

	2012
40		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)
	2011
39		Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo: Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011
38		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
37		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)
36		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)
	2010
35		César Andrés, Mercedes G. Merayo, Yaofeng Zhang: MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56
34		Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61
33		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
32		Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
	2009
31		Manuel Núñez, Paul Baker, Mercedes G. Merayo: 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 Springer 2009
30		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
29		Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli: A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205
28		César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80
27		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
26		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
25		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
24		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
23		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)
22		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)
21		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)
	2008
20		Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215
19		César Andrés, Mercedes G. Merayo, Manuel Núñez: Passive Testing of Timed Systems. ATVA 2008: 418-427
18		César Andrés, Mercedes G. Merayo, Manuel Núñez: Formal Development of a Complex Information System. ICONS 2008: 118-123
17		Mercedes G. Merayo, Manuel Núñez: Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102
16		Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez: Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210
15		Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215
14		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102
13		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal testing from timed finite state machines. Computer Networks 52(2): 432-460 (2008)
12		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)
11		Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: HOTL: Hypotheses and observations testing logic. J. Log. Algebr. Program. 74(2): 57-93 (2008)
	2007
10		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510
9		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111
8		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174
7		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333
6		Mercedes G. Merayo, Manuel Núñez: Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236
5		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158
	2006
4		Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137
3		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
2		Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54
	2005
1		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

Coauthor Index

1	César Andrés	[18] [19] [24] [25] [26] [28] [30] [33] [35]
2	Paul Baker	[31]
3	Ana R. Cavalli	[29] [30]
4	Fernando Cuartero	[1]
5	Karnig Derderian	[27] [38]
6	Lars Frantzen	[22]
7	Robert M. Hierons	[15] [16] [20] [21] [23] [27] [32] [34] [36] [37] [38] [39] [40]
8	Iksoon Hwang	[29]
9	Stéphane Maag (Stephane Maag)	[30]
10	Manuel Núñez	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [38] [39] [40]
11	Fernando López Pelayo (Fernando L. Pelayo)	[1]
12	Maria L. Pelayo	[1]
13	Ismael Rodríguez	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14]
14	Valentín Valero Ruiz (Valentin Valero)	[1]
15	Yaofeng Zhang	[35]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page