Testing Finite State Machines Presenting Stochastic Time and Timeouts

DOI10.1007/978-3-540-75211-0_8MaRDI QIDQ3522091zbMATH OpenOpenAlexFDO

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

Publication date 28 August 2008

Published in Formal Methods and Stochastic Models for Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://eprints.ucm.es/15800/1/22.pdf

Mathematics Subject Classification ID

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

Recommendations

• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Formal testing from timed finite state machines
• Implementation Relations for Stochastic Finite State Machines
• Testing from a stochastic timed system with a fault model
• On deriving test suites for nondeterministic finite state machines with time-outs

Cited in

(12)

• Testing from a stochastic timed system with a fault model
• Canonical finite state machines for distributed systems
• On deriving test suites for nondeterministic finite state machines with time-outs
• Testing finite state machines: Fault detection
• Formal testing from timed finite state machines
• Finite state machine testing from an OR state refinement design
• A Formal Approach to Heuristically Test Restorable Systems
• Formal Testing of Systems Presenting Soft and Hard Deadlines
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Implementation Relations for Stochastic Finite State Machines
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• An optimised complete strategy for testing symbolic finite state machines

This page was built for publication: Testing Finite State Machines Presenting Stochastic Time and Timeouts

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