Memory Leak Detection in Sun Solaris OS. - Qinqin Ni; Weizhen Sun; Sen Ma (ISCSCT (2), 2008)

Deadlock Detection Based on Resource Allocation Graph. - Qinqin Ni; Weizhen Sun; Sen Ma (IAS, 2009)