Sembug: Detecting Logic Bugs in Dbms Through Generating Semantic-Aware Non-Optimizing Query. - Shiyang Ye; Chao Ni 001; Jue Wang; Qianqian Pang; Xinrui Li; Xiaodan Xu (ICPC, 2025)