咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 dse
  • 1 篇 test
  • 1 篇 automated covera...
  • 1 篇 code
  • 1 篇 combining symbol...

机构

  • 1 篇 department of co...
  • 1 篇 shanghai key lab...

作者

  • 1 篇 jifeng he
  • 1 篇 zhendong su
  • 1 篇 geguang pu
  • 1 篇 weikai miao
  • 1 篇 ting su

语言

  • 1 篇 英文
检索条件"主题词=Automated coverage-driven testing"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
automated coverage-driven testing: combining symbolic execution and model checking
收藏
分享
引用
Science China(Information Sciences) 2016年 第9期59卷 242-243页
作者： Ting SU Geguang PU Weikai MIAO Jifeng HE Zhendong SU Shanghai Key Laboratory of Trustworthy Computing East China Normal University Department of Computer Science University of California
Software testing is the primary way to ensure software quality,but occupies more than 50%the cost of software development[1].It was estimated that software failures cost the US economy alone about 60 billion each year... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件