| 注册
首页|期刊导航|软件导刊|基于贝叶斯网络的验证激励向量生成研究

基于贝叶斯网络的验证激励向量生成研究

王润 蒋剑飞 王琴

软件导刊2020,Vol.19Issue(7):1-4,4.
软件导刊2020,Vol.19Issue(7):1-4,4.DOI:10.11907/rjdk.192567

基于贝叶斯网络的验证激励向量生成研究

Research on Generation of Verification Incentive Vector Based on Bayesian Network

王润 1蒋剑飞 1王琴1

作者信息

  • 1. 上海交通大学微电子学院,上海200240
  • 折叠

摘要

关键词

功能验证/贝叶斯网络/机器学习/CDG/覆盖率

分类

信息技术与安全科学

引用本文复制引用

王润,蒋剑飞,王琴..基于贝叶斯网络的验证激励向量生成研究[J].软件导刊,2020,19(7):1-4,4.

基金项目

国家自然科学基金项目(61176037) (61176037)

软件导刊

1672-7800

访问量0
|
下载量0
段落导航相关论文