您当前的位置：
首页 >
文章列表页 >
基于符号执行的能耗错误检测方法
基于符号执行的能耗错误检测方法
Symbolic Execution Based Energy Bug Detecting Method
- 电子学报 2016年44卷第5期 页码：1040-1050
DOI： 10.3969/j.issn.0372-2112.2016.05.005
移动端阅览
HTML全文
参考文献
出版信息
数据统计
319
浏览量
517
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
一种抵抗符号执行的路径分支混淆技术
一种符号执行制导的循环内界分析方法
基于依赖条件重构的程序符号值分析方法
一种针对格式文件的符号执行优化方法
基于概念漂移感知的异常流量检测模型轻量化更新机制
相关作者
陈喆
于晓旭
张海宁
王晓初
刘伟杰
贾春福
王志
李宣东
相关机构
南开大学计算机与控制工程学院
南京大学软件新技术国家重点实验室
国电南瑞科技股份有限公司
南瑞集团公司(国网电力科学研究院)
南京大学软件学院
