Travelled to:
1 × France
1 × Japan
1 × South Africa
1 × United Kingdom
1 × Vietnam
4 × USA
Collaborated with:
M.Núñez C.Andrés R.M.Hierons I.Rodríguez
Talks about:
test (9) passiv (4) time (4) system (3) stream (3) distribut (2) stochast (2) properti (2) machin (2) use (2)
Person: Mercedes G. Merayo
DBLP: Merayo:Mercedes_G=
Facilitated 3 volumes:
Contributed to:
Wrote 10 papers:
- FM-2012-HieronsMN #distributed #order #testing #using
- Using Time to Add Order to Distributed Testing (RMH, MGM, MN), pp. 232–246.
- SEKE-2010-AndresMN #algorithm #multi #search-based #testing
- Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties (CA, MGM, MN), pp. 405–410.
- ICST-2009-AndresMN #probability #testing
- Passive Testing of Stochastic Timed Systems (CA, MGM, MN), pp. 71–80.
- SEFM-2009-AndresMN #protocol #testing
- Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.
- SEKE-2009-AndresMN #mining #realtime #testing #using
- Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
- SEFM-2008-MerayoHN
- Extending Stream X-Machines to Specify and Test Systems with Timeouts (MGM, RMH, MN), pp. 201–210.
- TestCom-FATES-2008-HieronsMN #architecture #distributed #implementation
- Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.
- TestCom-FATES-2008-MerayoNR #named
- THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.
- SEFM-2007-MerayoN #consistency #probability #testing
- Testing conformance on Stochastic Stream X-Machines (MGM, MN), pp. 227–236.
- TestCom-2006-RodriguezMN #logic #testing
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (IR, MGM, MN), pp. 39–54.