USENIX Security ’22 – Yu Liang, Song Liu, Hong Hu – ‘Detecting Logical Bugs Of DBMS With Coverage-Based Guidance’