Mercedes G. Merayo

Available identifiers

Publication	Date of Publication	Type
Passive testing with asynchronous communications and timestamps	2018-08-10	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs	2017-11-10	Paper
An extended framework for passive asynchronous testing	2016-11-30	Paper
Timed implementation relations for the distributed test architecture	2014-07-11	Paper
Implementation relations and test generation for systems with distributed interfaces	2013-02-04	Paper
Using Time to Add Order to Distributed Testing	2012-11-08	Paper
Implementation Relations for Stochastic Finite State Machines	2009-03-12	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts	2009-03-11	Paper
Testing from a stochastic timed system with a fault model	2009-02-19	Paper
Controllable Test Cases for the Distributed Test Architecture	2008-11-20	Paper
Passive Testing of Timed Systems	2008-11-20	Paper
Testing Finite State Machines Presenting Stochastic Time and Timeouts	2008-08-28	Paper
A Brief Introduction to $\mathcal{THOTL}$	2008-07-03	Paper
Formal Specification of Multi-agent Systems by Using EUSMs	2008-07-01	Paper
Formal Testing of Systems Presenting Soft and Hard Deadlines	2008-07-01	Paper
$\mathcal {HOTL}$: Hypotheses and observations testing logic	2008-02-04	Paper
Formal testing from timed finite state machines	2008-02-04	Paper
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses	2007-05-02	Paper

This page was built for person: Mercedes G. Merayo