On the synthesis of adaptive tests for nondeterministic finite state machines
From MaRDI portal
(Redirected from Publication:840063)
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
- scientific article; zbMATH DE number 1263212 (Why is no real title available?)
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
Cited in
(5)- Adaptive tests derivation for nondeterministic automata
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- Bounded Sequence Testing from Non-deterministic Finite State Machines
- Synthesis of distinguishing test cases for timed finite state machines
- 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)
