← Research building on SQLancer

Yaoxuan Wu, I. Lee, Ahmad Humayun, Muhammad Ali Gulzar, Miryung Kim. 2026. SIGSOFT FSE Companion.

Read the paper · doi:10.1145/3803437.3806090

What this paper does with SQLancer

SQLancer is the paper's central example of the approach working: it is described as integrating multiple property oracles and having uncovered many previously unknown DBMS logic bugs, with query partitioning, semantics-preserving rewriting and pivoted query synthesis named as the representative examples. A short position paper arguing that data-intensive scalable computing frameworks such as Spark, Flink, Beam and Dask need property-based testing. Its premise is that framework bugs are common and frequently show up as silent wrong results rather than crashes, and that property-based testing has succeeded elsewhere by using semantic contracts as oracles where ground truth is hard to obtain. The authors call for a general, extensible framework with reusable property templates. Written by claude-opus-5 from the 3 places 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, not used; nothing in the mentions describes reusing its code.

extends technique — no

No technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer is reported in the mentions.

describes as state of the art — no

The citation does not characterise SQLancer as the state of the art.

SQLancer publications it cites (4)

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
12 “SQLancer,” https://github.com/sqlancer/sqlancer. sqlancer publication
13 M. Rigger and Z. Su, “Finding bugs in database systems via query partitioning,” Proc. ACM Program. Lang., vol. 4, no. OOPSLA, pp. 1–30, 2020. sqlancer publication · TLP
14 ——, “Detecting optimization bugs in database engines via non-optimizing reference engine construction,” in ESEC/FSE, 2020, pp. 1140–1152. sqlancer publication · NOREC
15 ——, “Testing database engines via pivoted query synthesis,” in OSDI, 2020, pp. 667–682. sqlancer publication · PQS

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 SQLancer integrates multiple property oracles and has uncovered many previously unknown DBMS logic bugs [ 12]. name
background 		page 1
M2 Representative examples include query partitioning, semanticspreserving query rewriting, and pivoted query synthesis. technique
definition 		page 1
M3 [13–15] 1726 FSE Companion ’26, July 05–09, 2026, Montreal, QC, Canada Wu et al. citation marker
background 		page 1

This page is rendered from _data/papers/paper_doi_10_1145_3803437_3806090.json, extracted from supplied pdf. 2 pages, 17 references parsed.