Lindenmayer grammars and symbolic testing (Q1244821): Difference between revisions

@@ Property / cites work @@
+Methodology for the Generation of Program Test Data
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Testing and the DISSECT Symbolic Evaluation System
+Normal rank
@@ Property / cites work @@
+Q4082984
@@ Property / cites work: Q4082984 / rank @@
+Normal rank
@@ Property / cites work @@
+L systems
@@ Property / cites work: L systems / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of the equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+On the decidability of the sequence equivalence problem for DOL-systems
+Normal rank
@@ Property / cites work @@
+Q4124338
@@ Property / cites work: Q4124338 / rank @@
+Normal rank