Chong Chen Jiwen Huo Zhongfan Mai 89-97 1999 conf/tools/31-1999 TOOLS (31) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796471 db/conf/tools/tools31-1999.html#ChenHM99