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

Zu-Ming Jiang Si Liu Manuel Rigger Zhendong Su

Published in: OSDI (2023)

Keyphrases

semi supervised
source code
software systems
fault tolerant
web services
relational databases
management system
graph model
graph theoretic
label propagation