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

@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpecExplorer
@@ Property / describes a project that uses: SpecExplorer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMP++
@@ Property / describes a project that uses: IMP++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JPF-SE
@@ Property / describes a project that uses: JPF-SE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-012-0222-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2097883343
@@ Property / OpenAlex ID: W2097883343 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56502042
@@ Property / Wikidata QID: Q56502042 / rank @@
+Normal rank
@@ 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