Formal testing from timed finite state machines

DOI10.1016/J.COMNET.2007.10.002MaRDI QIDQ2469174zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Ismael Rodríguez, Manuel Núñez

Publication date 4 February 2008

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.comnet.2007.10.002

zbMATH Keywords

conformance testingformal methodstimed systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Conformance Testing Relations for Timed Systems
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Testing timed automata
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

Cited in

(22)

• Testing from a stochastic timed system with a fault model
• Passive testing with asynchronous communications and timestamps
• Synthesis of distinguishing test cases for timed finite state machines
• On deriving test suites for nondeterministic finite state machines with time-outs
• Implementation relations and test generation for systems with distributed interfaces
• Adaptive experiments for state identification in finite state machines with timeouts
• Towards deriving test sequences by model checking
• Formal Testing of Systems Presenting Soft and Hard Deadlines
• A Brief Introduction to $\mathcal{THOTL}$
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Controllable Test Cases for the Distributed Test Architecture
• Passive Testing of Timed Systems
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Implementation Relations for Stochastic Finite State Machines
• A formalism to describe cyclogram testing models and perform model verification
• scientific article; zbMATH DE number 1418463 (Why is no real title available?)
• Deriving Homing Sequences for Finite State Machines with Timed Guards
• On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
• Adaptive tests derivation for nondeterministic automata
• Principles of Distributed Systems
• FM 2005: Formal Methods
• Equivalence checking and intersection of deterministic timed finite state machines

This page was built for publication: Formal testing from timed finite state machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2469174)