SmartOracle - An Agentic Approach to Mitigate Noise in Differential Oracles

Srinath Srinivasan, Tim Menzies, Marcelo d’Amorim. 2026. arXiv.org.

What this paper does with SQLancer

One citation, listing database systems among the typical applications of differential fuzzing. SmartOracle addresses the cost of validating differential fuzzing results for JavaScript engines, where oracles are built by hand, are expensive and false-positive prone, and must be redone as the specification evolves. It decomposes the triage workflow into specialised LLM sub-agents that gather evidence from terminal runs and specification queries. On historical benchmarks it reaches 0.84 recall at an 18% false positive rate. 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, not used; nothing in the mentions describes reusing its code.

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.

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
1	2020. Testing Database Engines via Pivoted Query Synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, Banff, Alberta. https://www.usenix.org/conference/osdi...	sqlancer publication · PQS

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	Typical applications include fuzzing C compilers [ 12], WebAssembly frameworks [ 65], database systems [ 1], cryptography libraries [ 29], and web browsers, including JavaScript engines [ 6,32,52].	citation marker background	2.2 Differential Fuzzing page 4

This page is rendered from _data/papers/paper_arxiv_2601_15074.json, extracted from arxiv. 26 pages, 66 references parsed.