Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection

Yushan Zhang, Peisen Yao, Rongxin Wu +1

Database Management System (DBMS) plays a core role in modern software from mobile apps to online banking. It is critical that DBMS should provide correct data to all applications.…