scientific article; zbMATH DE number 1418451

MaRDI QIDQ4942006zbMATH OpenFDO

Authors

Publication date 19 March 2000

zbMATH Keywords

EFSM modelextended finite state machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• On conformance testing of non-deterministic systems
• Towards deriving test sequences by model checking
• Reaching and Distinguishing States of Distributed Systems
• Canonical finite state machines for distributed systems

Cited in

(6)

• Towards deriving test sequences by model checking
• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• Model-Based Test Selection for Infinite-State Reactive Systems
• Compositional approach to the development of reactive algorithms
• A succinct canonical register automaton model
• Proof-guided test selection from first-order specifications with equality

This page was built for publication:

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