← Research building on SQLancer

Cong Yan, Suman Nath, Shan Lu. 2023. International Conference on Software Engineering.

Read the paper · doi:10.1109/icse48619.2023.00173

What this paper does with SQLancer

SQLancer is described in related work as including a series of techniques -- query partitioning and pivot query synthesis are named -- that generate SQL queries paired with known properties of their results. The distinction implied is one of purpose: those techniques generate queries whose results are predictable in order to test the DBMS, while this work generates data in order to test an application. This work generates test databases for applications backed by a database, producing data that satisfies the schema and the application's own query constraints so that tests exercise realistic states rather than empty or arbitrary tables. Written by claude-opus-5 from the 1 place this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

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

No empirical comparison against SQLancer or one of its oracles is reported.

describes as state of the art — no

The text does not describe SQLancer as the state of the art.

SQLancer publications it cites (2)

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.

#EntryMatched as
21 Testing database engines via pivoted query synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), Banff, Alberta, November 2020. USENIX Association. 2058 sqlancer publication · PQS
42 Manuel Rigger and Zhendong Su. Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang., 4(OOPSLA), nov 2020. sqlancer publication · TLP

Every place it refers to SQLancer (1)

1 sentence, 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 SQLancer [21], [42] includes a series of techniques, including query partitioning and pivot query synthesis, to generate SQL queries paired with certain properties of query results. name
definition
IX RELA TED WORK
page 11

This page is rendered from _data/papers/paper_doi_10_1109_icse48619_2023_00173.json, extracted from supplied pdf. 12 pages, 47 references parsed.