Testing database systems via differential query execution J Song, W Dou, Z Cui, Q Dai, W Wang, J Wei, H Zhong, T Huang Proceedings of IEEE/ACM International Conference on Software Engineering (ICSE), 2023 | 20 | 2023 |
Differentially testing database transactions for fun and profit Z Cui, W Dou, Q Dai, J Song, W Wang, J Wei, D Ye Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 18 | 2022 |
Detecting isolation bugs via transaction oracle construction W Dou, Z Cui, Q Dai, J Song, D Wang, Y Gao, W Wang, J Wei, L Chen, ... Proceedings of International Conference on Software Engineering (ICSE), 2023 | 16 | 2023 |