Testing conformance to a quasi-non-deterministic stream X-machine
From MaRDI portal
Publication:5944212
DOI10.1007/s001650070003zbMath1013.68104MaRDI QIDQ5944212
Robert M. Hierons, Mark Harman
Publication date: 26 June 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/350
68Q45: Formal languages and automata
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