activity
20162022
most citedEnhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

3 citations · 5 across the 9 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 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…