scientific article; zbMATH DE number 1263212
From MaRDI portal
Publication:4234083
Recommendations
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
- Distinguishing and control experiments with nondeterministic automata
- Adaptive tests derivation for nondeterministic automata
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Testing finite state machines: Fault detection
Cited in
(21)- 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
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Distinguishing and control experiments with nondeterministic automata
- Synthesizing adaptive test strategies from temporal logic specifications
- POMDPs under probabilistic semantics
- Recursive Markov decision processes and recursive stochastic games
- Describing homing and distinguishing sequences for nondeterministic finite state machines via synchronizing automata
- Play to Test
- A Note on an Anomaly in Black-Box Testing
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Using Model Counting to Find Optimal Distinguishing Tests
- Hardness and inapproximability of minimizing adaptive distinguishing sequences
- scientific article; zbMATH DE number 6125212 (Why is no real title available?)
- Adaptive tests derivation for nondeterministic automata
- Preset and adaptive homing experiments for nondeterministic finite state machines
- Two Tests for the Linearity of Sequential Machines
- A survey on observability of Boolean control networks
- The complexity of asynchronous model based testing
- On the undecidability of probabilistic planning and related stochastic optimization problems
- On the synthesis of adaptive tests for nondeterministic finite state machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4234083)
