System and Software Security Group
System and Software Security Group
News
People
Publications
Contact
English
中文 (简体)
Publications
Type
Conference paper
Journal article
Date
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
DOI
Paper Link
Qingkai Shi
,
Peisen Yao
,
Rongxin Wu
,
Charles Zhang
(2021).
Path-Sensitive Sparse Analysis without Path Conditions
. In
PLDI
.
PDF
Cite
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
Cite
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
Cite
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
Cite
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
Cite
Paper Link
Heqing Huang
,
Peisen Yao
,
Rongxin Wu
,
Qingkai Shi
,
Charles Zhang
(2020).
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
. In
SP
.
PDF
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
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
Cite
Paper Link
Rongxin Wu
,
Ming Wen
,
Shing-Chi Cheung
,
Hongyu Zhang
(2018).
ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports
. In
ICSE
.
PDF
Cite
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
Cite
Paper Link
Ming Ming
,
Rongxin Wu
,
Shing-Chi Cheung
(2016).
Locus: locating bugs from software changes
. In
ASE
.
PDF
Cite
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
Cite
Paper Link
Rongxin Wu
(2014).
Diagnose Crashing Faults on Production Software
. In
FSE
.
PDF
Cite
Paper Link
Rongxin Wu
,
Hongyu Zhang
,
Shing-Chi Cheung
,
Sunghun Kim
(2014).
CrashLocator: locating crashing faults based on crash stacks
. In
ISSTA
.
PDF
Cite
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
Cite
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
Cite
DOI
Paper Link
Rongxin Wu
,
Hongyu Zhang
,
Sunghun Kim
,
S.C. Cheung
(2011).
ReLink: recovering links between bugs and changes
. In
ESEC/FSE
.
PDF
Cite
Paper Link
Sunghun Kim
,
Hongyu Zhang
,
Rongxin Wu
,
Liang Gong
(2011).
Dealing with noise in defect prediction
. In
ICSE
.
PDF
Cite
Paper Link
Hongyu Zhang
,
Rongxin Wu
(2010).
Sampling program quality
. In
ICSM
.
PDF
Cite
DOI
Paper Link
Cite
×