Testing data processing-oriented systems from stream X-machine models (Q944368): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.02.045
+Normal rank
@@ Property / OpenAlex ID @@
+W1981867729
@@ Property / OpenAlex ID: W1981867729 / 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 @@
+Q4803449
@@ Property / cites work: Q4803449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413816
@@ Property / cites work: Q4413816 / 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 @@
+Q4520835
@@ Property / cites work: Q4520835 / 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 @@
+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 @@
+A method for refining and testing generalised machine specifications
+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
@@ 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 @@
+Testing against a non-controllable stream X-machine using state counting
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank