Mercedes G. Merayo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Combining sequential test cases into an equivalent set of adaptive test cases Journal of Logical and Algebraic Methods in Programming	2025-12-30	Paper
Passive testing with asynchronous communications and timestamps Distributed Computing	2018-08-10	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs IEEE Transactions on Computers	2017-11-10	Paper
An extended framework for passive asynchronous testing Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Timed implementation relations for the distributed test architecture Distributed Computing	2014-07-11	Paper
Implementation relations and test generation for systems with distributed interfaces Distributed Computing	2013-02-04	Paper
Using Time to Add Order to Distributed Testing FM 2012: Formal Methods	2012-11-08	Paper
Implementation Relations for Stochastic Finite State Machines Formal Methods and Stochastic Models for Performance Evaluation	2009-03-12	Paper
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts Lecture Notes in Computer Science	2009-03-11	Paper
Testing from a stochastic timed system with a fault model The Journal of Logic and Algebraic Programming	2009-02-19	Paper
Controllable Test Cases for the Distributed Test Architecture Automated Technology for Verification and Analysis	2008-11-20	Paper
Passive Testing of Timed Systems Automated Technology for Verification and Analysis	2008-11-20	Paper
Testing Finite State Machines Presenting Stochastic Time and Timeouts Formal Methods and Stochastic Models for Performance Evaluation	2008-08-28	Paper
A Brief Introduction to $\mathcal{THOTL}$ Automated Technology for Verification and Analysis	2008-07-03	Paper
Formal Testing of Systems Presenting Soft and Hard Deadlines Lecture Notes in Computer Science	2008-07-01	Paper
Formal Specification of Multi-agent Systems by Using EUSMs Lecture Notes in Computer Science	2008-07-01	Paper
$\mathcal {HOTL}$: Hypotheses and observations testing logic The Journal of Logic and Algebraic Programming	2008-02-04	Paper
Formal testing from timed finite state machines Computer Networks	2008-02-04	Paper
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Mercedes G. Merayo