Towards the Systematic Testing of Regular Expression Engines

Berk Çakar, Dongyoon Lee, James C. Davis. 2026. arXiv.org.

What this paper does with SQLancer

One citation, noting that Rigger and Su used metamorphic oracles to detect logic bugs in DBMSs -- the precedent for using them where no reference implementation can be trusted. ReTest is a framework for testing regular expression engines. The authors argue differential testing across implementations is unreliable because regex syntax and semantics differ between dialects, and naive byte-level fuzzing produces invalid inputs exercising only the parser. ReTest combines grammar-aware fuzzing with metamorphic testing for dialect-independent oracles, and has curated 16 metamorphic relations derived from Kleene algebra. 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, 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 (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
48	Manuel Rigger and Zhendong Su. 2020. Detecting optimization bugs in database engines via non-optimizing reference engine construction. InProceedings of the 28th ACM Joint Meeting on European Software Engineering Confe...	sqlancer publication · NOREC
49	Manuel Rigger and Zhendong Su. 2020. Finding bugs in database systems via query partitioning.OOPSLA 20 Artifact for "Finding Bugs in Database Systems via Query Partitioning", 4, OOPSLA, 211:1–211:30. doi:10.1145/3428279.	sqlancer publication · TLP
50	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), 667–682.isbn: 978-1-939133-19-9. Retrieved S...	sqlancer publication · PQS

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	For DBMS, Rigger and Su [48, 49, 50] used metamorphic oracles to detect logic bugs.	citation marker background	page 2

This page is rendered from _data/papers/paper_arxiv_2603_00311.json, extracted from arxiv. 10 pages, 63 references parsed.