李伟伟 徐忠伟 严进 测试安全关键软件的方法。 180-183年 1999 conf/glvlsi/1999 大湖区超大规模集成电路研讨会 https://doi.org/10.109/GLSV.1999.757405 https://doi.ieecomputersociety.org/10.1109/GLSV.1999.757405 db/conf/glvlsi/glvlsi 1999.html#LiXJ99