系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
DBMS
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
引用
Paper Link
引用
×