Checking experiments for stream X-machines (Q987982): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.05.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2111194527
@@ Property / OpenAlex ID: W2111194527 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+On minimizing the lengths of checking sequences
@@ Property / cites work: On minimizing the lengths of checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane Computing
@@ Property / cites work: Membrane Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329016
@@ Property / cites work: Q4329016 / rank @@
+Normal rank
@@ 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 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 @@
+Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
+Normal rank
@@ Property / cites work @@
+Generating test sets from non-deterministic stream X-machines
+Normal rank
@@ Property / cites work @@
+Testing against a non-controllable stream X-machine using state counting
+Normal rank
@@ Property / cites work @@
+An integration testing method that is proved to find all faults
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771764
@@ Property / cites work: Q2771764 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing algebraic data types and processes: A unifying theory
+Normal rank
@@ Property / cites work @@
+A method for refining and testing generalised machine specifications
+Normal rank
@@ Property / cites work @@
+Reduced length checking sequences
@@ Property / cites work: Reduced length checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
+Normal rank