一种基于最弱前置条件的软件错误定位算法

您当前的位置：

首页 >

文章列表页 >

一种基于最弱前置条件的软件错误定位算法

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- 一种基于最弱前置条件的软件错误定位算法
- Technique of Software Fault Localization Based on Weakest Pre-condition
- 李雅，黄少滨，李艳梅，迟荣华，郎大鹏
- 电子学报 2019年47卷第1期页码：25-32
- 作者机构：
  1. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  2. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
  3. 黑龙江工程学院计算机科学与技术学院,黑龙江,哈尔滨,150050
  4. 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61772177，No.61806075）;黑龙江省自然科学基金 (No.F2018029）;黑龙江工程学院博士科研启动基金 (No.2018BJ03，No.2017BJ13）
- DOI： 10.3969/j.issn.0372-2112.2019.01.004
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

243

浏览量

351

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

面向有效错误定位的偶然正确性识别方法

怀疑度计算公式受偶然正确性影响理论分析

抽象事件的时间戳

抽象事件的协议结构

基于Chameleon聚类分析的多错误定位方法

相关作者

钱俊彦

薛猛

王兴亚

姜淑娟

曹鹤玲

姜淑娟

薛猛

杨卫东

相关机构

桂林电子科技大学广西可信软件重点实验室

河南工业大学信息科学与工程学院

中国矿业大学计算机科学与技术学院

桂林电子科技大学广西可信软件重点实验室

河南工业大学信息科学与工程学院