Testing Non-deterministic Stream X-machine Models and P systems (Q5179428): 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.entcs.2008.12.107
+Normal rank
@@ Property / OpenAlex ID @@
+W2084049061
@@ Property / OpenAlex ID: W2084049061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3070874
@@ Property / cites work: Q3070874 / 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 @@
+Q3005247
@@ Property / cites work: Q3005247 / 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 @@
+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 @@
+Finite state based testing of P systems
@@ Property / cites work: Finite state based testing of P systems / rank @@
+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 data processing-oriented systems from stream X-machine models
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5179428