Differentially Testing Database Transactions for Fun and Profit

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

Abstract

Database Management Systems (DBMSs) utilize transactions to ensure the consistency and integrity of data. Incorrect transaction implementations in DBMSs can lead to severe consequences, e.g., incorrect database states and query results. Therefore, it is critical to ensure the reliability of transaction implementations.

BibTeX

@inproceedings{Cui-al:ASE22,
  author    = {Ziyu Cui and
               Wensheng Dou and
               Qianwang Dai and
               Jiansen Song and
               Wei Wang and
               Jun Wei and
               Dan Ye},
  title     = {Differentially Testing Database Transactions for Fun and Profit},
  booktitle = {ASE},
  pages     = {35:1--35:12},
  publisher = {{ACM}},
  year      = {2022},
}

Differentially Testing Database Transactions for Fun and Profit

Abstract

Related papers