Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. - Longming Dong; Ji Wang 001; Liqian Chen (APSEC, 2012)

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. - Longming Dong; Ji Wang 001; Liqian Chen (QSIC, 2012)

Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures. - Longming Dong; Wei Dong 006; Liqian Chen (SERE (Companion), 2012)