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…