电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2019, Vol. 47 Issue (1): 25-32    DOI: 10.3969/j.issn.0372-2112.2019.01.004
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
一种基于最弱前置条件的软件错误定位算法
李雅1,2, 黄少滨2, 李艳梅2, 迟荣华2, 郎大鹏2
1. 黑龙江工程学院计算机科学与技术学院, 黑龙江哈尔滨 150050;
2. 哈尔滨工程大学计算机科学与技术学院, 黑龙江哈尔滨 150001
Technique of Software Fault Localization Based on Weakest Pre-condition
LI Ya1,2, HUANG Shao-bin2, LI Yan-mei2, CHI Rong-hua2, LANG Da-peng2
1. College of Computer Science and Technology, Heilongjiang Institute of Technology, Harbin, Heilongjiang 150050, China;
2. College of Computer Science and Technology, Harbin Engineering University, Harbin, Heilongjiang 150001, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
京ICP备12041980号-1