A unified integration and component testing approach from deterministic stream X-machine specifications
DOI10.1007/S00165-015-0345-ZzbMATH Open1335.68021OpenAlexW2200619314MaRDI QIDQ282085FDOQ282085
Authors: Florentin Ipate, Dimitris Dranidis 
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
Recommendations
- scientific article; zbMATH DE number 2182430
- Complete deterministic stream X-machine testing
- Testing data processing-oriented systems from stream X-machine models
- Testing against a non-controllable stream X-machine using state counting
- An integrated refinement and testing method for stream X-machines
extended finite state machinesformal specificationsmodel-based testingstream X-machinestest generation
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- A method for refining and testing generalised machine specifications
- Symbolic execution and program testing
- Testing Software Design Modeled by Finite-State Machines
- Title not available (Why is that?)
- Title not available (Why is that?)
- An integration testing method that is proved to find all faults
- Title not available (Why is that?)
- On the Minimality of Stream X-machines
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Testing data processing-oriented systems from stream X-machine models
- Checking experiments for stream X-machines
Cited In (4)
Uses Software
This page was built for publication: A unified integration and component testing approach from deterministic stream X-machine specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q282085)
