On the synthesis of adaptive tests for nondeterministic finite state machines
From MaRDI portal
Publication:840063
DOI10.1134/S0361768808060030zbMATH Open1185.68387OpenAlexW2009340103MaRDI QIDQ840063FDOQ840063
Authors: N. Evtushenko, Maksim Leonidovich Gromov, A. V. Kolomiets 
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
Recommendations
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Adaptive tests derivation for nondeterministic automata
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
- Synthesis of distinguishing test cases for timed finite state machines
Cites Work
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Title not available (Why is that?)
- 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
Cited In (5)
- Synthesis of distinguishing test cases for timed finite state machines
- Adaptive tests derivation for nondeterministic automata
- Bounded Sequence Testing from Non-deterministic Finite State Machines
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- Synthesizing adaptive test strategies from temporal logic specifications
This page was built for publication: On the synthesis of adaptive tests for nondeterministic finite state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q840063)
