Testing query execution engines with mutations

Xinyue Chen, Chenglong Wang, Alvin Cheung. 2020. DBTest@SIGMOD.

Read the paper · doi:10.1145/3395032.3395322

What this paper does with SQLancer

PQS is discussed in related work as the closest neighbour: the paper notes it also uses equivalence mutation, arranging for the mutated query to contain a specific row from the original output. The distinction drawn is one of level -- this work mutates query structure, while PQS mutates at the predicate level. This short paper tests query execution engines by mutating queries in ways that preserve or predictably change their results, focusing on structural mutations such as inserting and removing subqueries. Published in 2020, it is contemporaneous with the first SQLancer oracles. Written by claude-opus-5 from the 2 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 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 (1)

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
3	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. arXiv:cs.DB/2001.04174	sqlancer publication · PQS

Every place it refers to SQLancer (2)

2 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	Meanwhile, pivot query synthesis (PQS) [ 3] is a new testing algorithm that also utilizes equivalence mutation so that the mutated query contains a specific row in the original output.	technique definition	5 RELATED WORK page 4
M2	, insert and removal of subqueries) while PQS focuses on predicate level mutation (e.	technique definition	5 RELATED WORK page 4

This page is rendered from _data/papers/paper_doi_10_1145_3395032_3395322.json, extracted from supplied pdf. 5 pages, 5 references parsed.