Guangyan Huang Guangmei Zhang Xiaowei Li 0001 Yunzhan Gong A State Machine for Detecting C/C++ Memory Faults. 82-87 2005 conf/ats/2005 Asian Test Symposium http://doi.ieeecomputersociety.org/10.1109/ATS.2005.15 db/conf/ats/ats2005.html#HuangZLG05