Conformance Tests as Checking Experiments for Partial Nondeterministic FSM

DOI10.1007/11759744_9zbMath1183.68182MaRDI QIDQ3434606

Alexandre Petrenko, Nina Yevtushenko

Publication date: 2 May 2007

Published in: Formal Approaches to Software Testing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11759744_9

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Unnamed Item, Active learning of nondeterministic finite state machines, On the synthesis of adaptive tests for nondeterministic finite state machines, Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Synthesis of distinguishing test cases for timed finite state machines, Adaptive experiments for state identification in finite state machines with timeouts, Synthesizing adaptive test strategies from temporal logic specifications, The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs

Cites Work

• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Unnamed Item