系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
Publications
类型
会议文章
期刊文章
日期
2024
2023
2022
2021
2020
2019
2018
2016
2014
2012
2011
2010
Li Lin
,
Zongyin Hao
,
Chengpeng Wang
,
Zhuangda Wang
,
Rongxin Wu
,
Gang Fan
(2024).
SQLess: Dialect-Agnostic SQL Query Simplification
. In
ISSTA
.
Rongxin Wu
,
Yuxuan He
,
Jiafeng Huang
,
Chengpeng Wang
,
Wensheng Tang
,
Qingkai Shi
,
Xiao Xiao
,
Charles Zhang
(2024).
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
. In
ICSE
.
PDF
引用
Paper Link
Zongyin Hao
,
Quanfeng Huang
,
Chengpeng Wang
,
Jianfeng Wang
,
Yushan Zhang
,
Rongxin Wu
,
Charles Zhang
(2023).
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
. In
ATC
.
PDF
引用
Paper Link
Sicong Cao
,
Xiaobing Sun
,
Xiaoxue Wu
,
Lili Bo
,
Bin Li
,
Rongxin Wu
,
Wei Liu
,
Biao He
,
Yu Ouyang
,
Jiajia Li
(2023).
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
. In
ICSE
.
PDF
引用
DOI
Paper Link
Haoxiang Jia
,
Ming Wen
,
Zifan Xie
,
Xiaochen Guo
,
Rongxin Wu
,
Maolin Sun
,
Kang Chen
,
Hai Jin
(2023).
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
. In
ICSE
.
PDF
引用
DOI
Paper Link
Chao Wang
,
Rongxin Wu
,
Haohao Song
,
Jiwu Shu
,
Guoqing Li
(2022).
smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues
. In
ASE
.
PDF
引用
Paper Link
Rongxin Wu
,
Minglei Chen
,
Chengpeng Wang
,
Gang Fan
,
Jiguang Qiu
,
Charles Zhang
(2022).
Accelerating Build Dependency Error Detection via Virtual Build
. In
ASE
.
PDF
引用
Paper Link
Ying Wang
,
Rongxin Wu
,
Chao Wang
,
Ming Wen
,
Yepang Liu
,
Shing-Chi Cheung
,
Hai Yu
,
Chang Xu
,
Zhiliang Zhu
(2022).
Will Dependency Conflicts Affect My Program's Semantics?
. In
TSE
.
PDF
引用
DOI
Paper Link
Sicong Cao
,
Xiaobing Sun
,
Lili Bo
,
Rongxin Wu
,
Bin Li
,
Chuanqi Tao
(2022).
MVD: memory-related vulnerability detection based on flow-sensitive graph neural networks
. In
ICSE
.
PDF
引用
DOI
Paper Link
Heqing Huang
,
Yiyuan Guo
,
Qingkai Shi
,
Peisen Yao
,
Rongxin Wu
,
Charles Zhang
(2022).
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
. In
S&P
.
PDF
引用
DOI
Paper Link
Wensheng Tang
,
Yikun Hu
,
Gang Fan
,
Peisen Yao
,
Rongxin Wu
,
Guangyuan Bai
,
Pengcheng Wang
,
Charles Zhang
(2021).
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
. In
ASE
.
PDF
引用
DOI
Paper Link
Yixing Luo
,
Xiao-Yi Zhang
,
Paolo Arcaini
,
Zhi Jin
,
Haiyan Zhao
,
Fuyuki Ishikawa
,
Rongxin Wu
,
Tao Xie
(2021).
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
. In
ASE
.
PDF
引用
DOI
Paper Link
Ming Wen
,
Junjie Chen
,
Yongqiang Tian
,
Rongxin Wu
,
Dan Hao
,
Shi Han and Shing-Chi Cheung
(2021).
Historical Spectrum based Fault Localization
. In
TSE
.
PDF
引用
DOI
Paper Link
Peisen Yao
,
Heqing Huang
,
Wensheng Tang
,
Qingkai Shi
,
Rongxin Wu
,
Charles Zhang
(2021).
Skeletal Approximation Enumeration for SMT Solver Testing
. In
FSE
.
PDF
引用
DOI
Paper Link
Peisen Yao
,
Heqing Huang
,
Wensheng Tang
,
Qingkai Shi
,
Rongxin Wu
,
Charles Zhang
(2021).
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
. In
ISSTA
.
PDF
引用
DOI
Paper Link
Qingkai Shi
,
Peisen Yao
,
Rongxin Wu
,
Charles Zhang
(2021).
Path-Sensitive Sparse Analysis without Path Conditions
. In
PLDI
.
PDF
引用
DOI
Paper Link
Seonah Lee
,
Rongxin Wu
,
Shing-Chi Cheung
,
Sungwon Kang
(2021).
Automatic Detection and Update Suggestion for Outdated API Names in Documentation
. In
TSE
.
PDF
引用
DOI
Paper Link
Ying Wang
,
Ming Wen
,
Yepang Liu
,
Yibo Wang
,
Zhenming Li
,
Chao Wang
,
Shing-Chi Cheung
,
Hai Yu
,
Chang Xu
,
Zhiliang Zhu
(2020).
Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem
. In
ASE
.
PDF
引用
DOI
Paper Link
Gang Fan
,
Chengpeng Wang
,
Rongxin Wu
,
Qingkai Shi
,
Charles Zhang
(2020).
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
. In
ISSTA
.
PDF
引用
DOI
Paper Link
Qingkai Shi
,
Rongxin Wu
,
Gang Fan
,
Charles Zhang
(2020).
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
. In
ICSE
.
PDF
引用
Paper Link
Heqing Huang
,
Peisen Yao
,
Rongxin Wu
,
Qingkai Shi
,
Charles Zhang
(2020).
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
. In
SP
.
PDF
引用
DOI
Paper Link
Ming Wen
,
Rongxin Wu
,
Yepang Liu
,
Yongqiang Tian
,
Xuan Xie
,
Shing-Chi Cheung
,
Zhendong Su
(2019).
Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing Commits
. In
ESEC/FSE
.
PDF
引用
Paper Link
Gang Fan
,
Rongxin Wu
,
Qingkai Shi
,
Xiao Xiao
,
Jinguo Zhou
,
Charles Zhang
(2019).
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
. In
ICSE
.
PDF
引用
Paper Link
Ming Wen
,
Yepang Liu
,
Rongxin Wu
,
Xuan Xie
,
Shing-Chi Cheung
,
Zhendong Su
(2019).
Exposing Library API Misuses Via Mutation Analysis
. In
ICSE
.
PDF
引用
Paper Link
Ying Wang
,
Ming Wen
,
Rongxin Wu
,
Zhenwei Liu
,
Shin Hwei Tan
,
Zhiliang Zhu
,
Hai Yu
,
Shing-Chi Cheung
(2019).
Could I Have a Stack Trace to Examine the Dependency Conflict Issue?
. In
ICSE
.
PDF
引用
Paper Link
Ying Wang
,
Ming Wen
,
Zhenwei Liu
,
Rongxin Wu
,
Rui Wang
,
Bo Yang
,
Hai Yu
,
Zhiliang Zhu
,
Shing-Chi Cheung
(2018).
Do the Dependency Conflicts in My Project Matter?
. In
ESEC/FSE
.
PDF
引用
Paper Link
Ming Wen
,
Rongxin Wu
,
Shing-Chi Cheung
(2018).
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes
. In
TSE
.
PDF
引用
DOI
Paper Link
Qingkai Shi
,
Xiao Xiao
,
Rongxin Wu
,
Jinguo Zhou
,
Gang Fan
,
Charles Zhang
(2018).
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
. In
PLDI
.
PDF
引用
Paper Link
Rongxin Wu
,
Ming Wen
,
Shing-Chi Cheung
,
Hongyu Zhang
(2018).
ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports
. In
ICSE
.
PDF
引用
DOI
Paper Link
Ming Wen
,
Junjie Chen
,
Rongxin Wu
,
Dan Hao
,
Shing-Chi Cheung
(2018).
Context-Aware Patch Generation for Better Automated Program Repair
. In
ICSE
.
PDF
引用
Paper Link
Ming Ming
,
Rongxin Wu
,
Shing-Chi Cheung
(2016).
Locus: locating bugs from software changes
. In
ASE
.
PDF
引用
Paper Link
Rongxin Wu
,
Xiao Xiao
,
Shing-Chi Cheung
,
Hongyu Zhang
,
Charles Zhang
(2016).
Casper: an efficient approach to call trace collection
. In
POPL
.
PDF
引用
Paper Link
Rongxin Wu
(2014).
Diagnose Crashing Faults on Production Software
. In
FSE
.
PDF
引用
Paper Link
Rongxin Wu
,
Hongyu Zhang
,
Shing-Chi Cheung
,
Sunghun Kim
(2014).
CrashLocator: locating crashing faults based on crash stacks
. In
ISSTA
.
PDF
引用
Paper Link
Yingnong Dang
,
Rongxin Wu
,
Hongyu Zhang
,
Dongmei Zhang
,
Peter Nobel
(2012).
ReBucket: A method for clustering duplicate crash reports based on call stack similarity
. In
ICSE
.
PDF
引用
Paper Link
Ming Li
,
Hongyu Zhang
,
Rongxin Wu
,
Zhi-Hua Zhou
(2012).
Sample-based software defect prediction with active and semi-supervised learning
. In
ASE
.
PDF
引用
DOI
Paper Link
Rongxin Wu
,
Hongyu Zhang
,
Sunghun Kim
,
S.C. Cheung
(2011).
ReLink: recovering links between bugs and changes
. In
ESEC/FSE
.
PDF
引用
Paper Link
Sunghun Kim
,
Hongyu Zhang
,
Rongxin Wu
,
Liang Gong
(2011).
Dealing with noise in defect prediction
. In
ICSE
.
PDF
引用
Paper Link
Hongyu Zhang and Rongxin Wu
(2010).
Sampling program quality
. In
ICSM
.
PDF
引用
DOI
Paper Link
引用
×