BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Merayo:Mercedes_G=

Facilitated 3 volumes:

ICTSS 2014Ed
SEFM 2013Ed
TestCom/FATES 2009Ed

Contributed to:

FM 20122012
SEKE 20102010
ICST 20092009
SEFM 20092009
SEKE 20092009
SEFM 20082008
TestCom/FATES 20082008
SEFM 20072007
TestCom 20062006

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.