Sound and complete concolic testing for higher-order functions (Q2233484): Difference between revisions

@@ Property / cites work @@
+Q3686011
@@ Property / cites work: Q3686011 / rank @@
+Normal rank
@@ Property / cites work @@
+Demand-Driven Compositional Symbolic Execution
@@ Property / cites work: Demand-Driven Compositional Symbolic Execution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3127246
@@ Property / cites work: Q3127246 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Monitors for Behavioral Contracts
@@ Property / cites work: Complete Monitors for Behavioral Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for higher-order functions
@@ Property / cites work: Contracts for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
+Normal rank
@@ Property / cites work @@
+Automatic Testing of Higher Order Functions
@@ Property / cites work: Automatic Testing of Higher Order Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Higher order symbolic execution for contract verification and refutation
+Normal rank
@@ Property / cites work @@
+Concolic Execution in Functional Programming by Program Instrumentation
+Normal rank
@@ Property / cites work @@
+Dependent types from counterexamples
@@ Property / cites work: Dependent types from counterexamples / rank @@
+Normal rank
@@ Property / cites work @@
+Logical types for untyped languages
@@ Property / cites work: Logical types for untyped languages / rank @@
+Normal rank