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

@@ Property / DOI @@
-.1016/j.tcs.2010.01.030
@@ Property / DOI: 10.1016/j.tcs.2010.01.030 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.01.030
+Normal rank
@@ Property / OpenAlex ID @@
+W2013233534
@@ Property / OpenAlex ID: W2013233534 / 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 @@
+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
@@ Property / DOI @@
+.1016/J.TCS.2010.01.030
@@ Property / DOI: 10.1016/J.TCS.2010.01.030 / rank @@
+Normal rank