An Interval-Based Model for Detecting Software Defect Using Alias Analysis. - Hongbo Zhou 003; Dahai Jin; Yunzhan Gong (APSEC Workshops, 2012)

A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis. - Hongbo Zhou 003; Qian Wang; Dahai Jin; Yunzhan Gong (ISSRE Workshops, 2012)

Detecting Null-dereference Bugs via a Backward Analysis. - Qian Wang; Dahai Jin; Yunzhan Gong; Hongbo Zhou 003 (J. Softw., 2013)