Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang. Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. In Julia Lawall, Dan Williams, editors, 2023 USENIX Annual Technical Conference, USENIX ATC 2023, Boston, MA, USA, July 10-12, 2023. pages 345-358, USENIX Association, 2023. [doi]
Abstract is missing.