Foundational Property-Based Testing (Q2945645): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2396983327
@@ Property / OpenAlex ID: W2396983327 / rank @@
+Normal rank
@@ Property / cites work @@
+Turning Inductive into Equational Specifications
@@ Property / cites work: Turning Inductive into Equational Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+On theorem prover-based testing
@@ Property / cites work: On theorem prover-based testing / rank @@
+Normal rank
@@ Property / cites work @@
+The New Quickcheck for Isabelle
@@ Property / cites work: The New Quickcheck for Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Smart Testing of Functional Programs in Isabelle
@@ Property / cites work: Smart Testing of Functional Programs in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing noninterference, quickly
@@ Property / cites work: Testing noninterference, quickly / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075239
@@ Property / cites work: Q3075239 / rank @@
+Normal rank
@@ Property / cites work @@
+Producing Certified Functional Code from Inductive Specifications
+Normal rank