Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency

Chijin Zhou, Quan Zhang, Bingzhou Qian, Yu Jiang. 2025. International Conference on Software Engineering.

Read the paper · doi:10.1109/icse55347.2025.00013

What this paper does with SQLancer

SQLancer is the database analogue Janus cites for its own oracle design: the paper notes that in database management systems, tools like SQLancer validate query results using predefined equivalence rules, placing it beside formalised layout guidance for web development as prior examples of checking correctness against a known relation. The relationship is one of shared oracle strategy across domains, not of use. Janus finds rendering bugs in web browsers using visual delta consistency: a page is changed in a way whose visual effect is predictable, and the rendered output before and after is compared against that expectation, giving an oracle for rendering without a reference implementation. 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 (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
28	Manuel Rigger and Zhendong Su. Detecting optimization bugs in database engines via non-optimizing reference engine construction. In Prem Devanbu, Myra B. Cohen, and Thomas Zimmermann, editors, ESEC/FSE ’20: 28th ACM J...	sqlancer publication · NOREC
29	Manuel Rigger and Zhendong Su. Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang., 4(OOPSLA):211:1– 211:30, 2020.	sqlancer publication · TLP
30	Manuel Rigger and Zhendong Su. Testing database engines via pivoted query synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 667–682. USENIX Association, November 2020.	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	For example, in web development, efforts [24], [25] have been made to formalize layout guidance of web development into a formal language for correctness verification; and in database management systems, tools like SQLancer [30], [29], [28] validate query results using predefined equivalence rules.	name definition	VII RELATED WORK page 11

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