咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 bounded model ch...
  • 1 篇 automated test g...
  • 1 篇 fuzzing
  • 1 篇 code coverage
  • 1 篇 security
  • 1 篇 coverage branche...

机构

  • 1 篇 univ manchester ...
  • 1 篇 inst publ adm je...
  • 1 篇 univ manchester ...

作者

  • 1 篇 cordeiro lucas
  • 1 篇 aldughaim mohann...
  • 1 篇 bhayat ahmed
  • 1 篇 alshmrany kaled

语言

  • 1 篇 英文
检索条件"主题词=coverage branches"
1 条 记 录,以下是1-10 订阅
排序:
FuSeBMC v4: Improving Code coverage with Smart Seeds via BMC, Fuzzing, and Static Analysis
收藏 引用
FORMAL ASPECTS OF COMPUTING 2024年 第2期36卷 1-25页
作者: Alshmrany, Kaled Aldughaim, Mohannad Bhayat, Ahmed Cordeiro, Lucas Inst Publ Adm Jeddah Saudi Arabia Univ Manchester Dept Comp Sci Manchester Lancs England Univ Manchester Manchester Lancs England
Bounded model checking (BMC) and fuzzing techniques are among the most effective methods for detecting errors and security vulnerabilities in software. However, there are still shortcomings in detecting these errors d... 详细信息
来源: 评论