Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (Q1019006): Difference between revisions

@@ Property / cites work @@
+Q4520784
@@ Property / cites work: Q4520784 / rank @@
+Normal rank
@@ Property / cites work @@
+PX systems = P systems + X machines
@@ Property / cites work: PX systems = P systems + X machines / rank @@
+Normal rank
@@ Property / cites work @@
+Testing methods for X-machines: a review
@@ Property / cites work: Testing methods for X-machines: a review / rank @@
+Normal rank
@@ Property / cites work @@
+A structured way to use channels for communication in X-machine systems
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing conformance to a quasi-non-deterministic stream X-machine
+Normal rank
@@ Property / cites work @@
+Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
+Normal rank
@@ Property / cites work @@
+An integration testing method that is proved to find all faults
+Normal rank
@@ Property / cites work @@
+Generating test sets from non-deterministic stream X-machines
+Normal rank
@@ Property / cites work @@
+Complete deterministic stream X-machine testing
@@ Property / cites work: Complete deterministic stream X-machine testing / rank @@
+Normal rank
@@ Property / cites work @@
+Testing against a non-controllable stream X-machine using state counting
+Normal rank
@@ Property / cites work @@
+Q4415044
@@ Property / cites work: Q4415044 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
+Normal rank
@@ Property / cites work @@
+A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed testing without encountering controllability and observability problems
+Normal rank