Programmable Property-Based Testing

A. Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos. 2026. Proceedings of the ACM on Programming Languages.

Read the paper · doi:10.1145/3828685 · arXiv:2602.18545

What this paper does with SQLancer

One citation, in a discussion of domain-specific metrics used to produce interesting inputs, alongside SlowFuzz and PerfFuzz. This paper proposes a deeper language for expressing properties in property-based testing. Properties in modern frameworks are written in shallowly embedded DSLs and tightly coupled to how they are run, so users are limited to whatever configuration the framework authors anticipated. The alternative, a mixed embedding called deferred binding abstract syntax, reifies a property as a data structure and separates it from the runner. The authors implement it in Rocq and Racket and prototype a variety of property runners. 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 (2)

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	Jinsheng Ba and Manuel Rigger. 2023. Testing Database Engines via Query Plan Guidance. InThe 45th International Conference on Software Engineering (ICSE’23).	sqlancer publication · QPG
45	SQLancer contributors. [n. d.].SQLancer: Automated testing to find logic and performance bugs in database systems. https://github.com/sqlancer/sqlancer	sqlancer publication

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	The literature is rife with domain-specific metrics that can be used to produce interesting inputs: in SlowFuzz [ 40] and PerfFuzz [ 25], the goal of the testing campaign is to discover algorithmic complexity vulnerabilities that could lead to Denial of Service attacks in systems, which is achieved by maximizing ins...	name background	2.2 Integrated Shrinking Property Runner page 6

This page is rendered from _data/papers/paper_doi_10_1145_3828685.json, extracted from arxiv. 32 pages, 51 references parsed.