Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594): Difference between revisions

@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Shape Analysis by Means of Bi-Abduction
+Normal rank
@@ Property / cites work @@
+Automated verification of shape, size and bag properties via user-defined predicates in separation logic
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact Heap Summaries for Symbolic Execution
@@ Property / cites work: Exact Heap Summaries for Symbolic Execution / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4417955
@@ Property / cites work: Q4417955 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Heap-Based Programs
@@ Property / cites work: Satisfiability Modulo Heap-Based Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Frame inference for inductive entailment proofs in separation logic
+Normal rank
@@ Property / cites work @@
+A decidable fragment in separation logic with inductive predicates and arithmetic
+Normal rank
@@ Property / cites work @@
+Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic
+Normal rank