Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)

Hengfeng Wei, Jiang Xiao, Na Yang +4

Transactional isolation guarantees are crucial for database correctness. However, recent studies have uncovered numerous isolation bugs in production databases. The common black-bo…