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 …
PDF 引用 Paper Link