APP下载

基于可满足性模理论求解器的程序路径验证方法

2017-05-12任胜兵吴斌张健威王志健

计算机应用 2016年10期
关键词：决策树理论

任胜兵　吴斌　张健威　王志健

关键词：路徑验证：控制流图：决策树：基本路径：可满足性模理论求解器endprint

猜你喜欢

决策树理论
简述一种基于C4.5的随机决策树集成分类算法设计
一种改进的MEP决策树剪枝算法
基于多元外在表征理论的高一氧化还原反应教学
“理论”与“实践”
多项式理论在矩阵求逆中的应用
盛满理论
决策树学习的剪枝方法
理论与实际
决策树在施工项目管理中的应用
投资组合理论发展综述

杂志排行

计算机应用
2016年10期

计算机应用的其它文章