搜索筛选:
搜索耗时0.4822秒,为你在为你在102,267,441篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：范文庆,,
来源：北京邮电大学 年份：2010
高代码覆盖率的软件自动化测试是开发高质量软件的关键性技术。符号执行是一种重要的形式化和自动化的程序分析理论,是一种生成能够覆盖特定执行路径测试用例的方法模型,能够...
[期刊论文] 作者：杨义先, 黄玮, 范文庆,,
来源：中国信息安全 年份：2010
前言2010年1月13日温家宝总理主持召开的国务院常务会议,决定加快推进电信网、广播电视网和互联网三网融合。《国务院关于印发推进三网融合总体方案的通知》(国发〔2010〕5号...
相关搜索：
