Adaptive tests derivation for nondeterministic automata
From MaRDI portal
Publication:5146121
Recommendations
- Synthesis of distinguishing test cases for timed finite state machines
- Distinguishing and control experiments with nondeterministic automata
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- On the synthesis of adaptive tests for nondeterministic finite state machines
- Distinguishing experiments for timed nondeterministic finite state machines
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1263212 (Why is no real title available?)
- scientific article; zbMATH DE number 938070 (Why is no real title available?)
- scientific article; zbMATH DE number 3254909 (Why is no real title available?)
- Formal testing from timed finite state machines
Cited in
(9)- Test suites derivation for nondeterministic finite state machines with respect to the separability relation
- scientific article; zbMATH DE number 4041276 (Why is no real title available?)
- scientific article; zbMATH DE number 2013785 (Why is no real title available?)
- Distinguishing and control experiments with nondeterministic automata
- Distinguishing experiments for timed nondeterministic finite state machines
- Synthesis of distinguishing test cases for timed finite state machines
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
- Using Model Counting to Find Optimal Distinguishing Tests
- On the synthesis of adaptive tests for nondeterministic finite state machines
This page was built for publication: Adaptive tests derivation for nondeterministic automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146121)
