Generating test sets from non-deterministic stream X-machines
From MaRDI portal
Publication:5944213
DOI10.1007/s001650070004zbMath1013.68105MaRDI QIDQ5944213
Florentin Ipate, Mike Holcombe
Publication date: 26 June 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650070004
Related Items
Testing Non-deterministic Stream X-machine Models and 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, 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, Testing against a non-controllable stream X-machine using state counting
Uses Software