@inproceedings {288764,
	author = {Zongyin Hao and Quanfeng Huang and Chengpeng Wang and Jianfeng Wang and Yushan Zhang and Rongxin Wu and Charles Zhang},
	title = {Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis},
	booktitle = {2023 USENIX Annual Technical Conference (USENIX ATC 23)},
	year = {2023},
	isbn = {978-1-939133-35-9},
	address = {Boston, MA},
	pages = {345--358},
	url = {https://www.usenix.org/conference/atc23/presentation/hao},
	publisher = {USENIX Association},
	month = jul
}
