Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation.

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin

Browse the full ATVA paper archive.