Test suites derivation for nondeterministic finite state machines with respect to the separability relation
From MaRDI portal
Publication:5146161
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
Cited In (5)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- 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
- Test suites derivation for nondeterministic finite state machines with respect to the separability relation
- 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)
