一句话：对数据库事务实现进行差分测试，以发现导致数据不一致与查询错误的事务缺陷。
数据库管理系统使用事务来保证数据的一致性与完整性，而事务实现中的错误会带来严重后果，例如错误的数据库状态和查询结果，因此保障事务实现的可靠性至关重要。该论文的标题表明其采用差分测试（differential testing）来检验数据库事务实现，目标是在真实系统中高效地发现事务相关缺陷，并强调该工作既有研究趣味也有实际价值。不过，所提供的英文摘要仅陈述了研究动机，未展开具体的技术路线、差分测试所比较的对象、缺陷判定准则与实验评估结果，因此方法细节和量化结论需查阅论文全文。
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.
@inproceedings{paperbot7285,
title = {Differentially Testing Database Transactions for Fun and Profit},
author = {Ziyu Cui and Wensheng Dou and Qianwang Dai and Jiansen Song and Wei Wang and Jun Wei and Dan Ye},
booktitle = {ASE},
year = {2022},
doi = {10.1145/3551349.3556924}
}