Testing Constraint Checking Implementations via Principled Metamorphic Transformations

Mingchen Gao, Huiyan Wang, Chang Xu. 2024.

Read the paper · doi:10.1109/saner60148.2024.00096

What this paper does with SQLancer

No relationship is visible in the paper's own text. Its bibliography resolves to no SQLancer publication, and its subject is constraint checking over software models rather than database query evaluation; the only near-match in the text is the word 'trigger'. The record's presence among SQLancer-citing papers comes from the upstream citation graph rather than from anything found in the paper, and that should be re-examined. This work tests constraint checking implementations -- the components that verify consistency constraints over software artifacts in context-aware and pervasive computing systems -- using principled metamorphic transformations. Applying its metamorphic relations to nine variants of three implementations, it detected bugs in seven of the nine and found five unique implementation bugs that had gone undetected for months to years. 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.

What could not be determined

Why this paper is in the citing set at all. Its 41 parsed references include no SQLancer publication, and its subject is constraint checking for pervasive computing. The citation graph that admitted it should be re-checked.

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
41	M. Papadakis, D. Shin, S. Yoo, and D.-H. Bae, ''Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults;• in Proceedings of the 40th ...	project authored

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	We argue that mutants have been observed to provide good guidance and showed correlations with real bugs in existing researches [41], [42].	citation marker project authored background	D Threat Analyses and Discuss ion page 10

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