Systems Correctness Practices at Amazon Web Services
Read the paper · doi:10.1145/3729175
What this paper does with SQLancer
The extracted page carries a bibliography entry for pivoted query synthesis. The passage crediting SQLancer with pioneering validation approaches used alongside AWS's own non-sharded reference oracle is in the article but did not survive extraction of this five-page excerpt, which begins mid-sentence and carries no title.
An account of how Amazon Web Services applies formal and semi-formal methods to systems correctness, covering lightweight formal methods, deterministic simulation testing, and property-based approaches used across its services.
How it was classified
uses infrastructure — uncertain
The citation index recorded a sentence describing AWS as validating against an oracle 'as well as other approaches to validation, like those pioneered by SQLancer', which suggests use in production, but that sentence is not among the mentions extracted from this PDF.
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.
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 | Testing database engines via pivoted query synthesis. |
technique |
page 5 |