Checking experiments for stream X-machines
From MaRDI portal
Publication:987982
DOI10.1016/j.tcs.2010.05.014zbMath1214.68215MaRDI QIDQ987982
Publication date: 24 August 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.05.014
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A unified integration and component testing approach from deterministic stream X-machine specifications, Fundamental results for learning deterministic extended finite state machines from queries, Testing based on identifiable P systems using cover automata and X-machines
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Testing algebraic data types and processes: A unifying theory
- PX systems = P systems + X machines
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- On minimizing the lengths of checking sequences
- Reduced length checking sequences
- A method for refining and testing generalised machine specifications
- Testing Software Design Modeled by Finite-State Machines
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
- An integration testing method that is proved to find all faults
- Testing can be formal, too
- Membrane Computing
- A Method for the Design of Fault Detection Experiments
- Testing conformance to a quasi-non-deterministic stream X-machine
- Generating test sets from non-deterministic stream X-machines