Two notions of correctness and their relation to testing (Q1161275): Difference between revisions

@@ Property / cites work @@
+On the complexity of minimum inference of regular sets
+Normal rank
@@ Property / cites work @@
+Q4091429
@@ Property / cites work: Q4091429 / rank @@
+Normal rank
@@ Property / cites work @@
+On Effective Procedures for Speeding Up Algorithms
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+A probabilistic remark on algebraic program testing
+Normal rank
@@ Property / cites work @@
+Test data as an aid in proving program correctness
+Normal rank
@@ Property / cites work @@
+Testing programs with finite sets of data
@@ Property / cites work: Testing programs with finite sets of data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4114748
@@ Property / cites work: Q4114748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Lindenmayer grammars and symbolic testing
@@ Property / cites work: Lindenmayer grammars and symbolic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4157921
@@ Property / cites work: Q4157921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Selection of Test Data for Recursive Mathematical Subroutines
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00625279
+Normal rank
@@ Property / OpenAlex ID @@
+W2033140592
@@ Property / OpenAlex ID: W2033140592 / rank @@
+Normal rank