scientific article; zbMATH DE number 1200754
From MaRDI portal
Publication:4210112
zbMath0912.68029MaRDI QIDQ4210112
Florentin Ipate, Mike Holcombe
Publication date: 21 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexitydeterminismdesigncorrectnesstestingminimalityrefinementcomputabilityX-machinesstream X-machinesfinite state automatonmemorytest setstate diagramstate chartssystem specificationmodelling systemsalphabet coveringbusiness process modelfunctional covering
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
A unified integration and component testing approach from deterministic stream X-machine specifications ⋮ Testing conformance of a deterministic implementation against a non-deterministic stream X-machine ⋮ 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 ⋮ Testing data processing-oriented systems from stream X-machine models ⋮ Fundamental results for learning deterministic extended finite state machines from queries ⋮ Bounded sequence testing from deterministic finite state machines ⋮ Testing Non-deterministic Stream X-machine Models and P systems ⋮ On Testing P Systems ⋮ Test generation from P systems using model checking ⋮ Checking experiments for stream X-machines ⋮ Testing based on identifiable P systems using cover automata and X-machines ⋮ Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
Uses Software
This page was built for publication: