Publication:4210112
From MaRDI portal
zbMath0912.68029MaRDI QIDQ4210112
Florentin Ipate, Mike Holcombe
Publication date: 21 September 1998
complexity; determinism; design; correctness; testing; minimality; refinement; computability; X-machines; stream X-machines; finite state automaton; memory; test set; state diagram; state charts; system specification; modelling systems; alphabet covering; business process model; functional covering
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
Related Items
Testing Non-deterministic Stream X-machine Models and P systems, On Testing P Systems, A unified integration and component testing approach from deterministic stream X-machine specifications, Testing data processing-oriented systems from stream X-machine models, Bounded sequence testing from deterministic finite state machines, Test generation from P systems using model checking, Checking experiments for stream X-machines, Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, Fundamental results for learning deterministic extended finite state machines from queries, Testing based on identifiable P systems using cover automata and X-machines, Testing against a non-controllable stream X-machine using state counting, Finite state based testing of P systems, Transforming communicating X-machines into P systems, A model learning based testing approach for spiking neural P systems
Uses Software