Advancing Bug Detection Techniques in Database Management Systems - Liang, Yu (ProQuest Dissertations and Theses, 2025)