TxCheck. A fuzzing framework for finding transactional bugs in DBMSs
EET. Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
