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]
@inproceedings{HaoHWWZWZ23,
title = {Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis},
author = {Zongyin Hao and Quanfeng Huang and Chengpeng Wang and Jianfeng Wang and Yushan Zhang and Rongxin Wu and Charles Zhang},
year = {2023},
url = {https://www.usenix.org/conference/atc23/presentation/hao},
researchr = {https://researchr.org/publication/HaoHWWZWZ23},
cites = {0},
citedby = {0},
pages = {345-358},
booktitle = {2023 USENIX Annual Technical Conference, USENIX ATC 2023, Boston, MA, USA, July 10-12, 2023},
editor = {Julia Lawall and Dan Williams},
publisher = {USENIX Association},
}