Squill: Testing DBMS with Correctness Feedback and Accurate Instantiation
Read the paper · doi:10.3390/app13042519
What this paper does with SQLancer
How it was classified
uses infrastructure — no
SQLancer is cited as related work; no reuse of its code, generator or workload is described.
extends technique — no
No SQLancer technique is extended; the citation is background.
compares with — no
M2 states directly that Squill was not compared with SQLancer, because SQLancer targets logic bugs while Squill targets memory errors.
describes as state of the art — no
The text does not describe SQLancer as the state of the art.
SQLancer publications it cites (3)
Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.
| # | Entry | Matched as |
|---|---|---|
| 2 | Rigger, M.; Su, Z. Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposi... | sqlancer publication · NOREC |
| 3 | Rigger, M.; Su, Z. Testing Database Engines via Pivoted Query Synthesis. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation, OSDI’20, Virtual, 4–6 November 2020; USENIX Associa... | sqlancer publication · PQS |
| 4 | Rigger, M.; Su, Z. Finding Bugs in Database Systems via Query Partitioning. Proc. ACM Program. Lang. 2020 ,4, 1–30. [CrossRef] | sqlancer publication · TLP |
Every place it refers to SQLancer (3)
3 sentences, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.
| Id | Sentence | Found by | Where |
|---|---|---|---|
| M1 | Black-box fuzzing, or generation-based fuzzing, has been extensively used in finding DBMS bugs, such as SQLsmith [1] and SQLancer [2–4]. |
name |
1 Introduction page 1 |
| M2 | We did not compare Squill with SQLRight [ 18] and SQLancer, because their target is the logic bug of DBMSs, while Squill, like Squirrel, focuses on the memory error of DBMSs. |
name |
5 Evaluation page 14 |
| M3 | Sqlancer [ 2–4] constructs different SQL statements of functionally equivalent through several different patterns and inputs them into the same DBMS. |
name |
7 Related Work page 21 |