Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
From MaRDI portal
Publication:4245976
DOI10.1093/comjnl/41.5.349zbMath0921.68032MaRDI 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
Test selection for traces refinement, The complexity of asynchronous model based testing, On the synthesis of adaptive tests for nondeterministic finite state machines, Checking experiments for stream X-machines, Synthesis of distinguishing test cases for timed finite state machines, Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, On testing UML statecharts, Conformance Tests as Checking Experiments for Partial Nondeterministic FSM