Dependency-Aware Metamorphic Testing of Datalog Engines

Muhammad Numair Mansur, Valentin Wüstholz, M. Christakis. 2023. International Symposium on Software Testing and Analysis.

Read the paper · doi:10.1145/3597926.3598052

What this paper does with SQLancer

The single mention places the work in context: metamorphic testing has been used successfully across a variety of software, including other query-based systems, which is where SQLancer's techniques are cited. The relation is one of shared method rather than of use, and the mention is reachable only through the citation marker. This work tests Datalog engines with dependency-aware metamorphic relations, taking account of how rules depend on one another so that a transformation's effect on the derived result stays predictable in the presence of recursion. 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 (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
43	ManuelRiggerandZhendongSu.2020. FindingBugsinDatabaseSystemsvia QueryPartitioning. PACMPL 4 (2020), 211:1–211:30. Issue OOPSLA.	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	Metamorphictestinghasalsobeensuccessfully used to test a variety of software applications [ 12,27,47,57], includingotherquery-basedsystems[ 43,46,63].	citation marker background	7.3 Threatsto Validity page 11

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