Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
From MaRDI portal
Publication:4245976
DOI10.1093/comjnl/41.5.349zbMath0921.68032OpenAlexW2100596986MaRDI QIDQ4245976
Publication date: 31 May 1999
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: http://bura.brunel.ac.uk/handle/2438/348
Related Items
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, On the synthesis of adaptive tests for nondeterministic finite state machines, Test selection for traces refinement, Synthesis of distinguishing test cases for timed finite state machines, The complexity of asynchronous model based testing, On testing UML statecharts, Checking experiments for stream X-machines, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM