C程序测试数据生成与死循环检测研究

出版社:中国科学院
出版年:2009
作者:阮辉
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

多重中断驱动C程序的数据竞争检测

  • 作者:熊浩军
  • 出版年:2016

基于Verds的C程序模型检测方法的研究

  • 作者:张广亮
  • 出版社:中国科学院
  • 出版年:2013

测试数据进化生成理论及应用

  • 作者:巩敦卫
  • ISBN:9787030392954
  • 出版社:科学出版社
  • 出版年:2014

软件结构化测试数据生成技术

  • 作者:吴添勇
  • 出版年:2014

C程序静态分析与错误检测

  • 作者:许振波
  • 出版年:2015