徐忠伟 吴芳梅 一种新的安全关键软件测试方法。 251-255 1999 conf/ats/1999 亚洲测试研讨会 https://doi.org/10.1109/ATS.1999.810759 https://doi.ieecomputersociety.org/10.109/ATS.1999.810759 db/conf/ats/ats1999.html#XuW99