Differential Monitoring

Fabian Mühlböck, T. Henzinger. 2021. Runtime Verification.

Read the paper · doi:10.1007/978-3-030-88494-9_12

What this paper does with SQLancer

SQL databases are named as one of the domains where this style of testing has been applied fruitfully, cited alongside JavaScript debuggers and C compilers -- the SQLancer papers are the citation behind the SQL databases half of that sentence. The paper's own contribution is in runtime verification, and it distinguishes its setting from specification languages interpreted over individual traces rather than over tuples of traces. Differential monitoring runs two implementations of the same specification side by side and reports divergence, giving a runtime-verification oracle without a written specification. The paper develops the idea for runtime monitors, where writing a formal property is often harder than obtaining a second implementation. 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 (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
5	Bonakdarpour, B., Navabpour, S., Fischmeister, S.: Time-triggered runtime veriﬁcation. Formal Methods Syst. Design 43(1), 29–60 (2013). https://doi.org/10. 1007/s10703-012-0182-0	project authored
37	Rigger, M., Su, Z.: Detecting optimization bugs in database engines via nonoptimizing reference engine construction. In: ESEC/FSE 2020, pp. 1140–1152. Association for Computing Machinery, New York (2020). https://doi....	sqlancer publication · NOREC
38	Rigger, M., Su, Z.: Finding bugs in database systems via query partitioning. PACMPL 4(OOPSLA) (2020). https://doi.org/10.1145/3428279	sqlancer publication · TLP

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	This technique has been fruitfully applied to ﬁnding bugs in Javascript debuggers [ 31], C compilers [ 42], and SQL databases [ 37,38,40].	citation marker background	2 Background and Related Work page 4
M2	A considerable body of work exists on various speciﬁcation languages based on linear temporal logic and similar logics [ 1,5,7,13,23,35], and there are speciﬁcation languages speciﬁcally for properties of streams [ 39], but these languages are interpreted over individual traces, rather than tuples of traces produced...	citation marker project authored background	2 Background and Related Work page 4

This page is rendered from _data/papers/paper_doi_10_1007_978_3_030_88494_9_12.json, extracted from supplied pdf. 13 pages, 42 references parsed.