Ziyu Cui

According to our database, Ziyu Cui authored at least 11 papers between 2022 and 2025.

Collaborative distances:

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

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, Rui Yang, Yingying Zheng, Jiansen Song, Yuan Feng, Jun Wei

Proc. VLDB Endow., April, 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

Proc. VLDB Endow., March, 2025

Detecting Isolation Anomalies in Relational DBMSs.

Rui Yang, Ziyu Cui, Wensheng Dou, Yu Gao, Jiansen Song, Xudong Xie, Jun Wei

Proc. ACM Softw. Eng., 2025

An automatic segmentation of calcified tissue in forward-looking intravascular ultrasound images.

Ziyu Cui, Zhaoju Zhu, Peiwen Huang, Chuhang Gao, Bingwei He

Biomed. Signal Process. Control., 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

Testing Gremlin-Based Graph Database Systems via Query Disassembling.

Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin Zhu, Wei Wang, Jun Wei, Hua Zhong, Tao Huang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Differential Optimization Testing of Gremlin-Based Graph Database Systems.

Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun Wei, Hua Zhong, Tao Huang

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 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

Testing Database Systems via Differential Query Execution.

Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang, 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

2022

Differentially Testing Database Transactions for Fun and Profit.

Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang, Jun Wei, Dan Ye

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022