On the synthesis of adaptive tests for nondeterministic finite state machines (Q840063): Difference between revisions

@@ Property / author @@
-Maksim Leonidovich Gromov
@@ Property / author: Maksim Leonidovich Gromov / rank @@
-Normal rank
@@ Property / author @@
-A. V. Kolomiets
@@ Property / author: A. V. Kolomiets / rank @@
-Normal rank
@@ Property / author @@
+Maksim Leonidovich Gromov
@@ Property / author: Maksim Leonidovich Gromov / rank @@
+Normal rank
@@ Property / author @@
+A. V. Kolomiets
@@ Property / author: A. V. Kolomiets / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
+Normal rank
@@ Property / cites work @@
+Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2003
+Normal rank
@@ Property / cites work @@
+Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768808060030
+Normal rank
@@ Property / OpenAlex ID @@
+W2009340103
@@ Property / OpenAlex ID: W2009340103 / rank @@
+Normal rank