Conformance Tests as Checking Experiments for Partial Nondeterministic FSM

DOI10.1007/11759744_9zbMath1183.68182OpenAlexW1496915765MaRDI 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

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

Related Items (8)

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

Cites Work

• Unnamed Item
• 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

This page was built for publication: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM