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

Browse the full USENIX paper archive.