location: Current position: Home >> Scientific Research >> Paper Publications

一种面向软件可信性的测试用例生成与优化方法

Hits:

Date of Publication:2011-01-01

Journal:第四届信息安全漏洞分析与风险评估大会

Page Number:566-576

Pre One:一种面向分布式无线网络的正则表达式匹配方法

Next One:一种定理证明与模型检测融合的软件验证加速方法