Guanhua He Shengchao Qin Chenguang Luo Wei-Ngan Chin Memory Usage Verification Using Hip/Sleek. 166-181 2009 ATVA http://dx.doi.org/10.1007/978-3-642-04761-9_14 conf/atva/2009 db/conf/atva/atva2009.html#HeQLC09