[2025]
-
Detecting Isolation Anomalies in Relational DBMSs
Rui Yang, Ziyu Cui, Wensheng Dou, Yu Gao, Jiansen Song, Xudong Xie, Jun Wei
34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025) -
Model Checking Guided Incremental Testing for Distributed Systems
Yu Gao, Dong Wang, Wensheng Dou, Wenhan Feng, Yu Liang, Yuan Feng, Jun Wei
34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025) -
Proving Cypher Query Equivalence
Lei Tang, Wensheng Dou, Yingying Zheng, Lijie Xu, Wei Wang, Jun Wei, Tao Huang
41st International Conference on Data Engineering (ICDE 2025) -
Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction
Jiansen Song, Wensheng Dou, Yingying Zheng, Yu Gao, Ziyu Cui, Wei Wang, Jun Wei
51st International Conference on Very Large Data Bases (VLDB 2025) -
Evaluating Garbage Collection Performance Across Managed Language Runtimes
Yicheng Wang, Wensheng Dou, Yu Liang, Yi Wang, Wei Wang, Jun Wei, Tao Huang
47th IEEE/ACM International Conference on Software Engineering (ICSE 2025) -
BridgeGC: An Efficient Cross-Level Garbage Collector for Big Data Frameworks
Yicheng Wang, Lijie Xu, Tian Guo, Wensheng Dou, Hongbin Zeng, Wei Wang, Jun Wei, Tao Huang
ACM Transactions on Architecture and Code Optimization (TACO 2025) -
PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing
Yuwei Zhang, Zhi Jin, Ying Xing, Ge Li, Fang Liu, Jiaxin Zhu, Wensheng Dou, Jun Wei
ACM Transactions on Software Engineering and Methodology (TOSEM 2025) -
Training Deep Neural Networks with Virtual Smoothing Classes
Zhiyang Zhou, Siwei Wei, Xudong Zhang, Wensheng Dou, Muzi Qu, Yan Cai
39th AAAI Conference on Artificial Intelligence (AAAI 2025)
[2024]
-
Testing Gremlin-Based Graph Database Systems via Query Disassembling [PDF]
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin Zhu, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024) -
Differential Optimization Testing of Gremlin-Based Graph Database Systems [PDF]
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024) -
DiTing: A Semi-Supervised Adversarial Training Framework for Robust Out-of-Distribution Detection (谛听：一种面向鲁棒分布外样本检测的半监督对抗训练方法) [PDF]
Zhiyang Zhou, Wensheng Dou, Shuo Li, Liangyi Kang, Shuai Wang, Jie Liu, Dan Ye
Journal of Software (软件学报), 2024 -
Testing Raft Systems Based on TLA+ Formal Specification (基于TLA+形式化规约的Raft系统测试) [PDF]
Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang
Journal of Software (软件学报), 2024
[2023]
-
Fixing Robust Out-of-Distribution Detection for Deep Neural Networks
Zhiyang Zhou, Jie Liu, Wensheng Dou, Shuo Li, Liangyi Kang, Muzi Qu, Dan Ye
34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023) -
Detecting Flash Loan Based Price Manipulation Attacks in Ethereum
Qing Xia, Zhirong Huang, Wensheng Dou, Yafeng Zhang, Fengjun Zhang, Geng Liang, Chun Zuo
43rd IEEE International Conference on Distributed Computing Systems (ICDCS 2023) -
Self-Supervised Log Parsing Using Semantic Contribution Difference
Siyu Yu, Ningjiang Chen, Yifan Wu, Wensheng Dou
Journal of Systems and Software (JSS 2023) -
Detecting Crash Recovery Bugs in Cloud Systems via Common Data Analysis (共用数据导向的分布式系统失效恢复缺陷检测) [PDF]
Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei
Journal of Software (软件学报), 2023
[2022]
-
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing [PDF] [Slide] [Website]
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei
31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
-
Characterizing and Detecting Bugs in WeChat Mini-Programs [PDF] [Slide] [Video] [Website]
Tao Wang, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang, Jun Wei, Tao Huang
44th ACM/IEEE International Conference on Software Engineering (ICSE 2022)
[2021]
-
Race Detection for Event-Driven Node.js Applications [PDF]
Xiaocning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang
36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) -
Systemizing Interprocedural Static Analysis of Large-Scale Systems Code with Graspan [PDF]
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
ACM Transactions on Computer Systems (TOCS 2021) -
The Performance of Selfish Mining in GHOST [PDF]
Qing Xia, Wensheng Dou, Fengjun Zhang, Geng Liang
20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2021) -
Survey on Blockchain Consensus Protocol (区块链共识协议综述) [PDF]
Qing Xia, Wensheng Dou, Kaiwen Guo, Geng Liang, Chun Zuo, Fengjun Zhang
Journal of Software (软件学报), 2021
《软件学报》2022年高影响力论文
[2020]
-
DistStream: An Order-Aware Distributed Framework for Online-Offline Stream Clustering Algorithms [PDF]
Lijie Xu, Xingtong Ye, Kai Kang, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei
40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020)
[2019]
-
An Experimental Evaluation of Garbage Collectors on Big Data Applications [PDF] [Extended experimental report]
Lijie Xu, Tian Guo, Wensheng Dou, Wei Wang, Jun Wei
45th International Conference on Very Large Data Bases (VLDB 2019) -
Recent Progress in Program Analysis (程序分析研究进展) [PDF]
Jian Zhang, Chao Zhang, Jifeng Xuan, Yingfei Xiong, Qianxiang Wang, Bin Liang, Lian Li, Wensheng Dou, Zhenbang Chen, Liqian Chen, Yan Cai
Journal of Software (软件学报), 2019《软件学报》2021年高影响力论文
[2018]
-
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems [PDF] [Slide] [Dataset]
Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)ACM SIGSOFT Distinguished Paper Award
-
Context-Based Event Trace Reduction in Client-Side JavaScript Applications [PDF]
Jie Wang, Wensheng Dou, Chushu Gao, Yu Gao, Jun Wei
11th IEEE Conference on Software Testing, Validation and Verification (ICST 2018) -
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs [PDF]
Florian Biermann, Wensheng Dou, Peter Sestoft
20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) -
JSTrace: Fast Reproducing Web Application Errors [PDF]
Jie Wang, Wensheng Dou, Chushu Gao, Jun Wei
Journal of Systems and Software (JSS 2018)
[2017]
-
Mining API Type Specifications for JavaScript [PDF]
Shuai Wang, Wensheng Dou, Chushu Gao, Jun Wei, Tao Huang
24th Asia-Pacific Software Engineering Conference (APSEC 2017)
[2016]
[2015]
-
Towards Web Application Mobilization via Efficient Web Control Extraction [PDF]
Shuai Wang, Wensheng Dou, Guoquan Wu, Jie Wang, Chushu Gao, Jun Wei, Tao Huang
7th Asia-Pacific Symposium on Internetware (Internetware 2015)
[2014]