Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (Q1882901): 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.2004.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2126308222
@@ Property / OpenAlex ID: W2126308222 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59610580
@@ Property / Wikidata QID: Q59610580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520784
@@ Property / cites work: Q4520784 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+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 @@
+Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
+Normal rank
@@ Property / cites work @@
+Testing conformance to a quasi-non-deterministic stream X-machine
+Normal rank
@@ Property / cites work @@
+Reduced length checking sequences
@@ Property / cites work: Reduced length checking sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / 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 @@
+Q3239817
@@ Property / cites work: Q3239817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+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