Testing against a non-controllable stream X-machine using state counting (Q2368996): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2063422308
@@ Property / OpenAlex ID: W2063422308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329016
@@ Property / cites work: Q4329016 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised stream X-machines with output delimited type
+Normal rank
@@ Property / cites work @@
+Q4520784
@@ Property / cites work: Q4520784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782092
@@ Property / cites work: Q4782092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4803449
@@ Property / cites work: Q4803449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413816
@@ Property / cites work: Q4413816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3070874
@@ Property / cites work: Q3070874 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4900302
@@ Property / cites work: Q4900302 / 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 @@
+Testing Software Design Modeled by Finite-State Machines
+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 can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520835
@@ Property / cites work: Q4520835 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised stream X-machines and cooperating distributed grammar systems
+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 @@
+On the Minimality of Stream X-machines
@@ Property / cites work: On the Minimality of Stream X-machines / rank @@
+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 @@
+Q3126729
@@ Property / cites work: Q3126729 / rank @@
+Normal rank
@@ Property / cites work @@
+An integration testing method that is proved to find all faults
+Normal rank
@@ Property / cites work @@
+A method for refining and testing generalised machine specifications
+Normal rank
@@ Property / cites work @@
+Generating test sets from non-deterministic stream X-machines
+Normal rank
@@ Property / cites work @@
+An integrated refinement and testing method for stream X-machines
+Normal rank
@@ Property / cites work @@
+Testing conditions for communicating stream \(X\)-machine systems
+Normal rank