About
My research interests include software engineering, software reliability testing especially in database
systems.
Publications
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
45th IEEE/ACM International Conference on Software Engineering
(ICSE 2023)
Testing Database Systems via Differential Query Execution
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