Dong Wang

According to our database, Dong Wang authored at least 14 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Efficiently Testing Distributed Systems via Abstract State Space Prioritization.

Yu Gao, Dong Wang, Wensheng Dou, Wenhan Feng, Yu Liang, Jun Wei

IEEE Trans. Software Eng., February, 2026

2025

Model Checking Guided Incremental Testing for Distributed Systems.

Yu Gao, Dong Wang, Wensheng Dou, Wenhan Feng, Yu Liang, Yuan Feng, Jun Wei

Proc. ACM Softw. Eng., 2025

2024

Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction.

Jiansen Song, Wensheng Dou, Yu Gao, Ziyu Cui, Yingying Zheng, Dong Wang, Wei Wang, Jun Wei, Tao Huang

Proc. VLDB Endow., April, 2024

FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems.

Wenhan Feng, Qiugen Pei, Yu Gao, Dong Wang, Wensheng Dou, Jun Wei, Zheheng Liang, Zhenyue Long

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

Understanding Transaction Bugs in Database Systems.

Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Coverage Guided Fault Injection for Cloud Systems.

Yu Gao, Wensheng Dou, Dong Wang, Wenhan Feng, Jun Wei, Hua Zhong, Tao Huang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Detecting Isolation Bugs via Transaction Oracle Construction.

Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Model Checking Guided Testing for Distributed Systems.

Dong Wang, Wensheng Dou, Yu Gao, Chenao Wu, Jun Wei, Tao Huang

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

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, Dong Wang, Wei Wang, Jun Wei

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Common Data Guided Crash Injection for Cloud Systems.

Yu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems.

Dong Wang, Yu Gao, Wensheng Dou, Jun Wei

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2020

CoFI: Consistency-Guided Fault Injection for Cloud Systems.

Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Detecting cache-related bugs in Spark applications.

Hui Li, Dong Wang, Tianze Huang, Yu Gao, Wensheng Dou, Lijie Xu, Wei Wang, Jun Wei, Hua Zhong

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2018

An empirical study on crash recovery bugs in large-scale distributed systems.

Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018