A unified integration and component testing approach from deterministic stream X-machine specifications
DOI10.1007/s00165-015-0345-zzbMath1335.68021OpenAlexW2200619314MaRDI QIDQ282085
Dimitris Dranidis, Florentin Ipate
Publication date: 12 May 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-015-0345-z
test generationstream X-machinesformal specificationsextended finite state machinesmodel-based testing
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (1)
Uses Software
Cites Work
- Testing data processing-oriented systems from stream X-machine models
- Checking experiments for stream X-machines
- 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 and cooperating distributed grammar systems
- A structured way to use channels for communication in X-machine systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A unified integration and component testing approach from deterministic stream X-machine specifications
