On the synthesis of adaptive tests for nondeterministic finite state machines

DOI10.1134/S0361768808060030zbMath1185.68387OpenAlexW2009340103MaRDI QIDQ840063

N. V. Evtushenko, A. V. Kolomiets, Maksim Leonidovich Gromov

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768808060030

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• 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: On the synthesis of adaptive tests for nondeterministic finite state machines