Bounded sequence testing from deterministic finite state machines (Q964395): Difference between revisions

@@ 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 @@
+Minimal cover-automata for finite languages
@@ Property / cites work: Minimal cover-automata for finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q5541342
@@ Property / cites work: Q5541342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+An integration testing method that is proved to find all faults
+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 @@
+Q4418606
@@ Property / cites work: Q4418606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4540971
@@ Property / cites work: Q4540971 / rank @@
+Normal rank