3 citations · 5 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 3 cited
Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +2
Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniq…
cs.PL2017
Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis
Quang Loc Le
This paper presents an approach to lemma synthesis to support advanced inductive entailment procedures based on separation logic. We first propose a mechanism where lemmas are auto…