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

MaRDI QIDQ5146161zbMATH OpenFDO

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

Publication date 25 January 2021

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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

Cited in

(5)

• Test suites derivation for nondeterministic finite state machines with respect to the separability relation
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• FSM-based testing from user defined faults adapted to incremental and mutation testing
• On deriving test suites for nondeterministic finite state machines with time-outs
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

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)