Testing heap-based programs with Java StarFinder.

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

Browse the full ICSE paper archive.