Search

Your search keyword '"Song, Jiansen"' showing total 6 results
Start Over Author "Song, Jiansen"
6 results on '"Song, Jiansen"'

2. Understanding Transaction Bugs in Database Systems

Author

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

Published
2024
Full Text
View/download PDF

3. Testing Database Systems via Differential Query Execution

Author

Song, Jiansen, Dou, Wensheng, Cui, Ziyu, Dai, Qianwang, Wang, Wei, Wei, Jun, Zhong, Hua, and Huang, Tao

Subjects
Artifact, Testing database
Abstract

Artifactfor the paper "Testing Database Systems via Differential Query Execution"that is published in ICSE'23. In this paper, we introduce the usage of DQE. DQE is a tool that can detect logic bugs in SQL statements. Unlike previous tools that can only detect logic bugs in SELECT statements, it can also detect logic bugs in UPDATE and DELETE statements. Data manipulation statements, e.g., UPDATE and DELETE statements, usually cause severer consequences than query statements, i.e., SELECT statements.In total, we have detected 50 unique bugs in these DBMSs, 41 of which are confirmed, and 11 have been fixed.

Published
2023
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results