中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397
作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian;  Xue, Jingling
收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06
Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations  
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 5, 页码: 1144-1162
作者:  Li, Haofeng;  Tan, Tian;  Li, Yue;  Lu, Jie;  Meng, Haining;  Cao, Liqing;  Huang, Yongheng;  Li, Lian;  Gao, Lin;  Di, Peng;  Lin, Liang;  Cui, Chenxi
收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06
Sensitivity  Receivers  Java  Resource management  Codes  Software  Benchmark testing  Pointer analysis  generic programming  context sensitivity  
Using Local Clocks to Reproduce Concurrency Bugs 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 卷号: 44, 期号: 11, 页码: 1112-1128
作者:  Wang, Zhe;  Wu, Chenggang;  Yuan, Xiang;  Wang, Zhenjiang;  Li, Jianjun;  Yew, Pen-Chung;  Huang, Jeff;  Feng, Xiaobing;  Lan, Yanyan;  Chen, Yunji;  Lai, Yuanming;  Guan, Yong
收藏  |  浏览/下载：81/0  |  提交时间：2019/08/16
Concurrency  bug reproducing  local clock  
Locating Software Faults Based on Minimum Debugging Frontier Set 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2017, 卷号: 43, 期号: 8, 页码: 760-776
作者:  Li, Feng;  Li, Zhiyuan;  Huo, Wei;  Feng, Xiaobing
收藏  |  浏览/下载：44/0  |  提交时间：2019/12/12
Fault localization  minimum debugging frontier set  sparse symbolic exploration  dynamic dependence graph