Adaptive tests derivation for nondeterministic automata

MaRDI QIDQ5146121zbMATH OpenFDO

Authors N. V. Yevtushenko, Maksim Leonidovich Gromov

Publication date 25 January 2021

Full work available at URL http://mathnet.ru/eng/pdm152

zbMATH Keywords

adaptive experimentcompatibilitydistinguishing experimentlabelled transition systemsnondeterministic finite-state machinetimed finite-state machine

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Synthesis of distinguishing test cases for timed finite state machines
• Distinguishing and control experiments with nondeterministic automata
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• On the synthesis of adaptive tests for nondeterministic finite state machines
• Distinguishing experiments for timed nondeterministic finite state machines

Cites work

• Formal testing from timed finite state machines
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1263212 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)

Cited in

(11)

• Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
• Synthesis of distinguishing test cases for timed finite state machines
• Distinguishing and control experiments with nondeterministic automata
• Using Model Counting to Find Optimal Distinguishing Tests
• scientific article; zbMATH DE number 4041276 (Why is no real title available?)
• scientific article; zbMATH DE number 1263212 (Why is no real title available?)
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• scientific article; zbMATH DE number 2013785 (Why is no real title available?)
• Test suites derivation for nondeterministic finite state machines with respect to the separability relation
• Distinguishing experiments for timed nondeterministic finite state machines
• On the synthesis of adaptive tests for nondeterministic finite state machines

This page was built for publication: Adaptive tests derivation for nondeterministic automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146121)