Our paper “Boosting End-to-End Database Isolation Checking via Mini-Transactions” was accepted at ICDE 2025!