位置：立项数据库 > 立项详情页
　基于不变量约束的随机测试用例自动化生成技术研究
  • 项目名称：　基于不变量约束的随机测试用例自动化生成技术研究
  • 批准号：11040606M131
  • 项目来源：2011年度安徽省自然科学基金面上项目
  • 研究期限：2010-12-
  • 项目负责人：曾凡平
  • 依托单位：中国科学技术大学
  • 批准年度：2011
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 0
  • 0
  • 0
  • 0
期刊论文
程序断言与切片技术在检测程序非崩溃错误中的应用
基于启发式搜索的IP数据流分类方法的研究
基于污点跟踪的黑盒fuzzing测试
不变量指导的随机测试用例生成
数据流应用层载荷特征正则表达式的自动提取
程序不变量到断言的自动转换方法研究及其应用
基于多重对应分析的Android应用安全等级评估
Android应用程序的隐式控制流图构建
曾凡平的项目