scientific article; zbMATH DE number 1200754
From MaRDI portal
Publication:4210112
zbMATH Open0912.68029MaRDI QIDQ4210112FDOQ4210112
Authors: Mike Holcombe, Florentin Ipate 
Publication date: 21 September 1998
Title of this publication is not available (Why is that?)
Recommendations
testingcomplexitydesignmemorydeterminismrefinementminimalitystream X-machinescomputabilitytest setfinite state automatoncorrectnessstate diagramstate chartssystem specificationmodelling systemsX-machinesalphabet coveringbusiness process modelfunctional covering
Cited In (16)
- Testing based on identifiable P systems using cover automata and X-machines
- A unified integration and component testing approach from deterministic stream X-machine specifications
- Test generation from P systems using model checking
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Model checking safety-critical systems specified as X-machines
- Bounded sequence testing from deterministic finite state machines
- Testing non-deterministic stream X-machine models and P systems
- Testing data processing-oriented systems from stream X-machine models
- Checking experiments for stream X-machines
- Transforming communicating X-machines into P systems
- Finite state based testing of P systems
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- A model learning based testing approach for spiking neural P systems
- Testing against a non-controllable stream X-machine using state counting
- Fundamental results for learning deterministic extended finite state machines from queries
- On Testing P Systems
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210112)
