Mercedes G. Merayo

	2009
26		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
25		Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez, Ana R. Cavalli: A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205
24		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
23		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
22		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)
21		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)
	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] [23]
2	Paul Baker	[26]
3	Ana R. Cavalli	[25]
4	Fernando Cuartero	[1]
5	Karnig Derderian	[24]
6	Lars Frantzen	[21]
7	Robert M. Hierons	[15] [16] [20] [22] [24]
8	Iksoon Hwang	[25]
9	Manuel Núñez	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26]
10	Fernando López Pelayo (Fernando L. Pelayo)	[1]
11	Maria L. Pelayo	[1]
12	Ismael Rodríguez	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14]
13	Valentín Valero Ruiz (Valentin Valero)	[1]