Testing Non-deterministic Stream X-machine Models and P systems
From MaRDI portal
Publication:5179428
DOI10.1016/j.entcs.2008.12.107zbMath1347.68138OpenAlexW2084049061MaRDI QIDQ5179428
Marian Gheorghe, Florentin Ipate
Publication date: 19 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.107
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
A model learning based testing approach for kernel P systems ⋮ Search-based testing in membrane computing ⋮ An empirical evaluation of P system testing techniques ⋮ Test generation from P systems using model checking
Cites Work
- Testing data processing-oriented systems from stream X-machine models
- Computing with membranes
- Complete deterministic stream X-machine testing
- Membrane computing. An introduction.
- 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
- Finite state based testing of P systems
- Testing Software Design Modeled by Finite-State Machines
- An integration testing method that is proved to find all faults
- Testing conformance to a quasi-non-deterministic stream X-machine
- Generating test sets from non-deterministic stream X-machines
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Testing Non-deterministic Stream X-machine Models and P systems