A comprehensive study on real world concurrency bugs in Node.js. - Jie Wang 035; Wensheng Dou; Yu Gao 002; Chushu Gao; Feng Qin; Kang Yin; Jun Wei 001 (ASE, 2017)

Context-Based Event Trace Reduction in Client-Side JavaScript Applications. - Jie Wang 035; Wensheng Dou; Chushu Gao; Yu Gao 002; Jun Wei 001 (ICST, 2018)

An empirical study on crash recovery bugs in large-scale distributed systems. - Yu Gao 002; Wensheng Dou; Feng Qin; Chushu Gao; Dong Wang 048; Jun Wei 001; Ruirui Huang; Li Zhou; Yongming Wu (ESEC/SIGSOFT FSE, 2018)

Detecting atomicity violations for event-driven Node.js applications. - Xiaoning Chang; Wensheng Dou; Yu Gao 002; Jie Wang 035; Jun Wei 001; Tao Huang 001 (ICSE, 2019)

Detecting cache-related bugs in Spark applications. - Hui Li; Dong Wang 048; Tianze Huang; Yu Gao 002; Wensheng Dou; Lijie Xu; Wei Wang 049; Jun Wei 001; Hua Zhong 001 (ISSTA, 2020)

DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems. - Dong Wang 048; Yu Gao 002; Wensheng Dou; Jun Wei 001 (DSN, 2022)

Common Data Guided Crash Injection for Cloud Systems. - Yu Gao 002; Dong Wang 048; Qianwang Dai; Wensheng Dou; Jun Wei 001 (ICSE-Companion, 2022)

Finding bugs in Gremlin-based graph database systems via Randomized differential testing. - Yingying Zheng; Wensheng Dou; Yicheng Wang; Zheng Qin; Lei Tang; Yu Gao 002; Dong Wang 048; Wei Wang 049; Jun Wei 001 (ISSTA, 2022)

A Reinforcement Learning Approach to Generating Test Cases for Web Applications. - Xiaoning Chang; Zheheng Liang; Yifei Zhang; Lei Cui; Zhenyue Long; Guoquan Wu; Yu Gao 002; Wei Chen 018; Jun Wei 001; Tao Huang 001 (AST, 2023)

Model Checking Guided Testing for Distributed Systems. - Dong Wang 048; Wensheng Dou; Yu Gao 002; Chenao Wu; Jun Wei 001; Tao Huang 001 (EuroSys, 2023)

Detecting Isolation Bugs via Transaction Oracle Construction. - Wensheng Dou; Ziyu Cui; Qianwang Dai; Jiansen Song; Dong Wang 048; Yu Gao 002; Wei Wang 049; Jun Wei 001; Lei Chen; Hanmo Wang; Hua Zhong 001; Tao Huang 001 (ICSE, 2023)

Coverage Guided Fault Injection for Cloud Systems. - Yu Gao 002; Wensheng Dou; Dong Wang 048; Wenhan Feng; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (ICSE, 2023)

Characterizing Flaky Tests in Node.js Applications. - Xiaoning Chang; Zheheng Liang; Guoquan Wu; Yu Gao 002; Wei Chen 018; Jun Wei 001; Zhenyue Long; Lei Cui; Tao Huang 001 (ASE, 2023)

Understanding Transaction Bugs in Database Systems. - Ziyu Cui; Wensheng Dou; Yu Gao 002; Dong Wang 048; Jiansen Song; Yingying Zheng; Tao Wang 030; Rui Yang 039; Kang Xu; Yixin Hu; Jun Wei 001; Tao Huang 001 (ICSE, 2024)

FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems. - Wenhan Feng; Qiugen Pei; Yu Gao 002; Dong Wang 048; Wensheng Dou; Jun Wei 001; Zheheng Liang; Zhenyue Long (ICSE Companion, 2024)

An Empirical Study on Kubernetes Operator Bugs. - Qingxin Xu; Yu Gao 002; Jun Wei 001 (ISSTA, 2024)

Testing Gremlin-Based Graph Database Systems via Query Disassembling. - Yingying Zheng; Wensheng Dou; Lei Tang; Ziyu Cui; Yu Gao 002; Jiansen Song; Liang Xu; Jiaxin Zhu; Wei Wang 049; Jun Wei 001; Hua Zhong 007; Tao Huang 001 (ISSTA, 2024)

Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction. - Jiansen Song; Wensheng Dou; Yu Gao 002; Ziyu Cui; Yingying Zheng; Dong Wang 048; Wei Wang 049; Jun Wei 001; Tao Huang 001 (Proc. VLDB Endow., 2024)

Model Checking Guided Incremental Testing for Distributed Systems. - Yu Gao 002; Dong Wang 048; Wensheng Dou; Wenhan Feng; Yu Liang; Yuan Feng; Jun Wei 001 (Proc. ACM Softw. Eng., 2025)

Detecting Isolation Anomalies in Relational DBMSs. - Rui Yang 039; Ziyu Cui; Wensheng Dou; Yu Gao 002; Jiansen Song; Xudong Xie; Jun Wei 001 (Proc. ACM Softw. Eng., 2025)

Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction. - Jiansen Song; Wensheng Dou; Yingying Zheng; Yu Gao 002; Ziyu Cui; Wei Wang 049; Jun Wei 001 (Proc. VLDB Endow., 2025)

Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems. - Ziyu Cui; Wensheng Dou; Yu Gao 002; Rui Yang 039; Yingying Zheng; Jiansen Song; Yuan Feng; Jun Wei 001 (Proc. VLDB Endow., 2025)