Testing heap-based programs with Java StarFinder
- Long H. Pham
- , Quang Loc Le
- , Quoc Sang Phan
- , Jun Sun
- , Shengchao Qin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution