登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

C程序测试数据生成与死循环检测研究
出版社：中国科学院
出版年：2009
作者：阮辉
资源类型：图书
细分类型：中文文献,学位论文
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

多重中断驱动C程序的数据竞争检测
  • 作者：熊浩军
  • 出版年：2016
...

基于Verds的C程序模型检测方法的研究
  • 作者：张广亮
  • 出版社：中国科学院
  • 出版年：2013
...

测试数据进化生成理论及应用
  • 作者：巩敦卫
  • ISBN：9787030392954
  • 出版社：科学出版社
  • 出版年：2014
...

软件结构化测试数据生成技术
  • 作者：吴添勇
  • 出版年：2014
...

利用回归测试数据消除程序结构噪音的软件错误定位方法
  • 作者：李恒
  • 出版年：2015
...

C程序静态分析与错误检测
  • 作者：许振波
  • 出版年：2015