[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]