位置：立项数据库 > 立项详情页
基于符号执行的复杂软件系统测试与验证研究
  • 项目名称：基于符号执行的复杂软件系统测试与验证研究
  • 项目类别：重点项目
  • 批准号：61632015
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李宣东
  • 依托单位：南京大学
  • 批准年度：2016
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 4
  • 0
  • 0
  • 0
  • 0
期刊论文
ATCase：一个基于多项式约束求解的数值冰程序测试用例自动生成工具
静动态结合的恶意Android应用自动检测技术
常用循环摘要的自动生成方法及其应用
通过抽象程序证明复杂具体程序
李宣东的项目
第七届实时与容错系统中的形式化技术国际研讨会
实时和混成系统的组合模型验证研究
第一届中美欧CUE学术研讨会
基于认识与理解途径的软件可信性度量与评估体系及支撑技术研究
期刊论文 56 会议论文 43 获奖 8
基于场景规约的Web Service组合行为获取与验证研究
期刊论文 6 会议论文 2
第七届亚太地区软件工程会议
软件工程学
期刊论文 17 会议论文 16
第四届国际统一建模语言学术会议
实时和混成系统的模型确认算法及工具的研究
第七届IEEE面向对象实时分布式计算国际研讨会