Elle: An open source transactional consistency checker for black-box databases

Paper link: https://arxiv.org/abs/2003.10554