HOME ABOUT PUBLICATIONS EDUCATION
light

Ziyu Cui


PhD Student

cuiziyu20@otcaix.iscas.ac.cn

About

I'm a fourth year PhD student under the supervision of Prof. Jun Wei and Prof. Wensheng Dou in Institute of Software, Chinese Academy of Sciences (ISCAS).
My research interests include software engineering, software reliability testing especially in database systems.

Publications

Understanding Transaction Bugs in Database Systems [PDF] [Website]

Ziyu Cui, Wensheng Dou, Yu Gao, Dong Wang, Jiansen Song, Yingying Zheng, Tao Wang, Rui Yang, Kang Xu, Yixin Hu, Jun Wei, Tao Huang
46th IEEE/ACM International Conference on Software Engineering (ICSE 2024)

Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction [Website]

Jiansen Song, Wensheng Dou, Yu Gao, Ziyu Cui, Yingying Zheng, Dong Wang, Wei Wang, Jun Wei, Tao Huang
50th International Conference on Very Large Data Bases (VLDB 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
17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024)

Detecting Isolation Bugs via Transaction Oracle Construction [PDF] [Website]

Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang, Yu Gao, Wei Wang, Jun Wei, Lei Chen, Hanmo Wang, Hua Zhong, Tao Huang
45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

Testing Database Systems via Differential Query Execution [PDF] [Website]

Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)

Differentially Testing Database Transactions for Fun and Profit [PDF] [Slide] [Website]

Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang, Jun Wei, Dan Ye
37th IEEE/ACM International Conference on Automated Software Engineering (ASE 2022)

Education

Institute of Software, Chinese Academy of Sciences

Sep 2020 - Current
Ph.D. student in Software Engineering

Beijing University of Technology

Sep 2016 - Jul 2020
B.E. in Information Security