Synthesis of distinguishing test cases for timed finite state machines
From MaRDI portal
(Redirected from Publication:1758682)
Recommendations
- Distinguishing experiments for timed nondeterministic finite state machines
- Adaptive tests derivation for nondeterministic automata
- On deriving test suites for nondeterministic finite state machines with time-outs
- Formal testing from timed finite state machines
- On the synthesis of adaptive tests for nondeterministic finite state machines
Cites work
- A calculus of communicating systems
- A theory of timed automata
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs
- Formal testing from timed finite state machines
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- scientific article; zbMATH DE number 3598362 (Why is no real title available?)
- scientific article; zbMATH DE number 1263212 (Why is no real title available?)
- scientific article; zbMATH DE number 3358370 (Why is no real title available?)
- Testing timed automata
Cited in
(4)
This page was built for publication: Synthesis of distinguishing test cases for timed finite state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1758682)
