Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis

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]

Authors

Zongyin Hao

This author has not been identified. Look up 'Zongyin Hao' in Google

Quanfeng Huang

This author has not been identified. Look up 'Quanfeng Huang' in Google

Chengpeng Wang

This author has not been identified. Look up 'Chengpeng Wang' in Google

Jianfeng Wang

This author has not been identified. Look up 'Jianfeng Wang' in Google

Yushan Zhang

This author has not been identified. Look up 'Yushan Zhang' in Google

Rongxin Wu

This author has not been identified. Look up 'Rongxin Wu' in Google

Charles Zhang

This author has not been identified. Look up 'Charles Zhang' in Google