Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.

Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su

Browse the full OSDI paper archive.