宗寅浩 黄全峰 王承鹏 王建峰 张玉山 吴荣新 查尔斯·张0001 Pinolo：使用近似查询合成检测数据库管理系统中的逻辑错误。 345-358 2023 USENIX年度技术会议 https://www.usenix.org/conference/atc23/presentation/hao conf/usenix/2023 db/conf/usenix/usenix 2023.html#HaoHWWZWZ23