System and Software Security Group
System and Software Security Group
News
People
Publications
Contact
English
中文 (简体)
Logical bug
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
DBMSs (Database Management Systems) are essential in modern enterprise software. Thus, ensuring the correctness of DBMSs is critical …
Zongyin Hao
,
Quanfeng Huang
,
Chengpeng Wang
,
Jianfeng Wang
,
Yushan Zhang
,
Rongxin Wu
,
Charles Zhang
PDF
Cite
Paper Link
Cite
×