咨询与建议

限定检索结果

文献类型

  • 169 篇 会议
  • 66 篇 期刊文献
  • 7 篇 学位论文
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 219 篇 工学
    • 153 篇 计算机科学与技术...
    • 134 篇 软件工程
    • 66 篇 电气工程
    • 18 篇 信息与通信工程
    • 14 篇 控制科学与工程
    • 9 篇 电子科学与技术(可...
    • 3 篇 机械工程
    • 2 篇 仪器科学与技术
    • 2 篇 材料科学与工程(可...
    • 2 篇 网络空间安全
    • 1 篇 动力工程及工程热...
  • 11 篇 理学
    • 7 篇 数学
    • 3 篇 生物学
    • 1 篇 化学
    • 1 篇 系统科学
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 2 篇 农学
  • 2 篇 医学
    • 2 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 243 篇 code coverage
  • 41 篇 software testing
  • 18 篇 testing
  • 17 篇 regression testi...
  • 14 篇 mutation testing
  • 10 篇 fuzzing
  • 10 篇 unit testing
  • 10 篇 dynamic analysis
  • 9 篇 android
  • 8 篇 test case genera...
  • 8 篇 software
  • 7 篇 instrumentation
  • 7 篇 empirical study
  • 7 篇 test suite reduc...
  • 7 篇 static analysis
  • 6 篇 software enginee...
  • 6 篇 symbolic executi...
  • 6 篇 automated testin...
  • 6 篇 fault detection
  • 6 篇 test generation

机构

  • 6 篇 univ szeged dept...
  • 4 篇 univ szeged mta ...
  • 4 篇 carnegie mellon ...
  • 3 篇 univ waterloo wa...
  • 3 篇 nanjing univ sta...
  • 3 篇 brno university ...
  • 3 篇 univ illinois ur...
  • 3 篇 george mason uni...
  • 3 篇 univ fed rio gra...
  • 3 篇 avaya labs res b...
  • 3 篇 univ passau pass...
  • 3 篇 univ washington ...
  • 2 篇 univ calif river...
  • 2 篇 inst informat in...
  • 2 篇 wuhan univ sch c...
  • 2 篇 hong kong univ s...
  • 2 篇 univ edinburgh e...
  • 2 篇 huazhong univ sc...
  • 2 篇 budapest univ te...
  • 2 篇 microsoft res re...

作者

  • 8 篇 beszedes arpad
  • 8 篇 gyimothy tibor
  • 6 篇 gergely tamas
  • 5 篇 fraser gordon
  • 5 篇 just rene
  • 5 篇 balogh gergo
  • 4 篇 tengeri david
  • 4 篇 horvath ferenc
  • 4 篇 vancsics bela
  • 3 篇 zhou yuming
  • 3 篇 sezer sakir
  • 3 篇 pilgun aleksandr
  • 3 篇 anjum muhammad s...
  • 3 篇 groce alex
  • 3 篇 neamtiu iulian
  • 3 篇 li j. jenny
  • 3 篇 wong w. eric
  • 3 篇 yerima suleiman ...
  • 3 篇 ryan conor
  • 3 篇 alzaylaee mohamm...

语言

  • 238 篇 英文
  • 3 篇 其他
  • 2 篇 中文
检索条件"主题词=code coverage"
243 条 记 录,以下是241-250 订阅
排序:
Revisiting the relationship between fault detection, test adequacy criteria, and test set size  20
Revisiting the relationship between fault detection, test ad...
收藏 引用
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
作者: Yiqun T. Chen Rahul Gopinath Anita Tadakamalla Michael D. Ernst Reid Holmes Gordon Fraser Paul Ammann René Just University of Washington CISPA Helmholtz-Zentrum Saarbrücken Germany George Mason University University of British Columbia Vancouver BC Canada University of Passau Passau Germany
The research community has long recognized a complex interrelationship between fault detection, test adequacy criteria, and test set size. However, there is substantial confusion about whether and how to experimentall... 详细信息
来源: 评论
Monitoring deployed software using software tomography  02
Monitoring deployed software using software tomography
收藏 引用
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
作者: Jim Bowring Alessandro Orso Mary Jean Harrold Georgia Institute of Technology Atlanta GA
Software products are often released with missing functionality or errors that result in failures in the field. In previous work, we presented the Gamma technology, which facilitates remote monitoring of deployed soft... 详细信息
来源: 评论
Early Formal Verification of Conditional coverage Points to Identify Intrinsically Hard-to-Verify Logic  08
Early Formal Verification of Conditional Coverage Points to ...
收藏 引用
45th ACM/IEEE Design Automation Conference, vol.1
作者: C. Richard Ho Michael Theobald Martin M. Deneroff Ron O. Dror Joseph Gagliardo David E. Shaw D. E. Shaw Research New York NY
Design verification of complex digital circuits typically starts only after the register-transfer level (RTL) description is complete. This frequently makes verification more difficult than necessary because logic tha... 详细信息
来源: 评论