Concolic Testing Heap-Manipulating Programs.

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

Browse the full FM paper archive.