位置：成果数据库 > 期刊 > 期刊详情页
Virtual time and its application to data race detection
  • ISSN号：0367-6234
  • 期刊名称：Journal of Harbin Institute of Technology
  • 时间：2015
  • 页码：68-74
  • 相关项目：无定型克隆代码的检测及重构方法
作者： Su, Xiaohong|Wang, Tiantian|Ma, Peijun|Yu, Z.|
同期刊论文项目
无定型克隆代码的检测及重构方法
期刊论文 47 会议论文 28
同项目期刊论文
考虑构件有效可靠性的基于构件系统的可靠性评测
面向错误定位的基于分支聚类的测试用例选择方法
冗余代码缺陷检测方法
C程序隐式规则自动提取与反例检测
构件式系统可靠性评估技术研究现状
Distribution rule based bad smell detection and refactoring scheme
SPAPE: A semantic-preserving amorphous procedure extraction method for near-miss clones (vol 86, pg
A test-suite reduction approach to improving fault-localization effectiveness
Distance metric based divergent change bad smell detection and refactoring scheme analysis
Automatically Inferring Structure Correlated Variable Set For Concurrent Atomicity Safety
面向软件错误定位的测试用例约简技术综述
Dynamic Collection of Reliability-Related Data and Reliability Evaluation for Internet software
基于插桩技术的程序谱构建方法
面向有效错误定位的测试用例优选方法
面向程序理解的系统依赖图构建算法
一种语义保持的C克隆代码无定型过程提取方法
一种使用静态分析的汇编代码缺陷检测方法
基于静态分析的汇编代码缺陷检测
Using Reduced Execution Flow Graph to Identify Library Functions in Binary Code
Identifying functions in binary code with reverse extended control flow graphs
并发缺陷暴露、检测与规避研究综述
Classes Bad Smell Detection and Refactoringschemes
流敏感按需指针别名分析算法
软件错误自动定位关键科学问题及研究进展
一种新的过程间静态切片快速算法
Detection of semantically similar code
代码坏味检测及重构的现状分析
State dependency probabilistic model for fault localization
结合用例约简与联合依赖概率建模的错误定位
SPAPE: A semantic-preserving amorphous procedure extraction method for near-miss clones
一种基于加权软件行为图挖掘的软件错误定位方法
克隆代码分析方法研究
考虑构件有效可靠性的构件式系统可靠性评测
面向程序验证的并行程序状态空间态约简技术综述
使用锁分配图动态检测混合死锁
期刊信息
  • 《哈尔滨工业大学学报》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国工业和信息化部
  • 主办单位:哈尔滨工业大学
  • 主编：冷劲松
  • 地址：哈尔滨市南岗区西大直街92号
  • 邮编：150001
  • 邮箱：
  • 电话：0451-86403427 86414135
  • 国际标准刊号：ISSN：0367-6234
  • 国内统一刊号：ISSN：23-1235/T
  • 邮发代号:14-67
  • 获奖情况:
  • 2000年获黑龙省科技期刊评比一等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:27329