Testing data processing-oriented systems from stream X-machine models
From MaRDI portal
Publication:944368
DOI10.1016/j.tcs.2008.02.045zbMath1154.68080OpenAlexW1981867729MaRDI QIDQ944368
Florentin Ipate, Mike Holcombe
Publication date: 16 September 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.02.045
test generationstream X-machinesformal specificationsfinite state machinesspecification based testing
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 Non-deterministic Stream X-machine Models and P systems, 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
- Unnamed Item
- PX systems = P systems + X machines
- An integrated refinement and testing method for stream X-machines
- Complete deterministic stream X-machine testing
- Testing conditions for communicating stream \(X\)-machine systems
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- Testing methods for X-machines: a review
- A method for refining and testing generalised machine specifications
- Symbolic execution and program testing
- Testing Software Design Modeled by Finite-State Machines
- An integration testing method that is proved to find all faults
- On the Minimality of Stream X-machines
- Testing conformance to a quasi-non-deterministic stream X-machine
- Generating test sets from non-deterministic stream X-machines
- Generalised stream X-machines with output delimited type
- A structured way to use channels for communication in X-machine systems
