Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. - Zongyin Hao; Quanfeng Huang; Chengpeng Wang 001; Jianfeng Wang; Yushan Zhang; Rongxin Wu; Charles Zhang 001 (USENIX ATC, 2023)