Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
From MaRDI portal
Recommendations
- On conformance testing of non-deterministic systems
- A fault-detection approach to the conformance testing of nondeterministic systems
- Testing confluence of nonterminating rewriting systems
- Convergence testing in term-level bounded model checking
- On verifying that a concurrent program satisfies a nondeterministic specification
- Fundamental Approaches to Software Engineering
- Bounded Sequence Testing from Non-deterministic Finite State Machines
Cites work
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- Formal Techniques for Networked and Distributed Systems - FORTE 2003
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
- scientific article; zbMATH DE number 1263212 (Why is no real title available?)
Cited in
(16)- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Synthesis of distinguishing test cases for timed finite state machines
- A fault-detection approach to the conformance testing of nondeterministic systems
- Adaptive experiments for state identification in finite state machines with timeouts
- Synthesizing adaptive test strategies from temporal logic specifications
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
- Complete open-state testing of limitedly nondeterministic systems
- On conformance testing of non-deterministic systems
- Conformance testing in the presence of multiple faults
- Active learning of nondeterministic finite state machines
- scientific article; zbMATH DE number 7324596 (Why is no real title available?)
- Test suites derivation for nondeterministic finite state machines with respect to the separability relation
- scientific article; zbMATH DE number 2202021 (Why is no real title available?)
- Fundamental Approaches to Software Engineering
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- On the synthesis of adaptive tests for nondeterministic finite state machines
This page was built for publication: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434606)
