On theorem prover-based testing (Q470025): Difference between revisions

@@ Property / cites work @@
+A Compiled Implementation of Normalization by Evaluation
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Q4520767
@@ Property / cites work: Q4520767 / rank @@
+Normal rank
@@ Property / cites work @@
+Path Feasibility Analysis for String-Manipulating Programs
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Operating system verification---an overview
@@ Property / cites work: Operating system verification---an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
+Normal rank
@@ Property / cites work @@
+An extensible encoding of object-oriented data models in HOL. With an application to IMP++
+Normal rank
@@ Property / cites work @@
+Error Sensitive Test Cases Analysis (ESTCA)
@@ Property / cites work: Error Sensitive Test Cases Analysis (ESTCA) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684216
@@ Property / cites work: Q5684216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365265
@@ Property / cites work: Q3365265 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Winskel is (almost) right: Towards a mechanized semantics textbook
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Hoare logic for Java in Isabelle/HOL
@@ Property / cites work: Hoare logic for Java in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank