电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2016, Vol. 44 Issue (5): 1040-1050    DOI: 10.3969/j.issn.0372-2112.2016.05.005
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于符号执行的能耗错误检测方法
徐超1, 陈勇2, 葛红美1, 何炎祥3
1. 南京审计大学, 江苏南京 210029;
2. 中国电子科技集团第十四研究所, 江苏南京 210013;
3. 武汉大学计算机学院, 湖北武汉 430072
Symbolic Execution Based Energy Bug Detecting Method
XU Chao1, CHEN Yong2, GE Hong-mei1, HE Yan-xiang3
1. Nanjing Audit University, Nanjing, Jiangsu 210029, China;
2. The 14th Research Institute of CETC, Nanjing, Jiangsu 210013, China;
3. Computer School of Wuhan University, Wuhan, Hubei 430072, China