Test suites derivation for nondeterministic finite state machines with respect to the separability relation

zbMATH Open1468.68109MaRDI QIDQ5146161FDOQ5146161

Authors: E. A. Aken'Shina, N. V. Shabaldina 

Publication date: 25 January 2021

Full work available at URL: http://mathnet.ru/eng/pdm71

Recommendations

• Test suites derivation for nondeterministic finite state machines with respect to the separability relation
• On deriving test suites for nondeterministic finite state machines with time-outs
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (2)

• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Bounded Sequence Testing from Non-deterministic Finite State Machines

This page was built for publication: Test suites derivation for nondeterministic finite state machines with respect to the separability relation

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