On the synthesis of adaptive tests for nondeterministic finite state machines
From MaRDI portal
Publication:840063
DOI10.1134/S0361768808060030zbMath1185.68387OpenAlexW2009340103MaRDI QIDQ840063
N. V. Evtushenko, A. V. Kolomiets, Maksim Leonidovich Gromov
Publication date: 4 September 2009
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768808060030
Cites Work
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
- Unnamed Item