PANGOLIN: a Comprehensive Testing Framework for Configuration-Rich Key-Value Stores

Shaohua Duan, Sudarsun Kannan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. 2025. Annual Haifa Experimental Systems Conference.

Read the paper · doi:10.1145/3757347.3759132

What this paper does with SQLancer

One citation, noting that black-box testing and fuzzing have been used to find bugs in file systems and DBMSs, SQLancer's work among the references. Pangolin tests configuration-rich key-value stores. The authors first study historical bugs in five mature stores over eight years and find that most could be caught by systematically testing a small sequence of operations and configurations. Pangolin turns that into a bounded testing strategy across black-box and fuzzing procedures, finding 20 bugs and reproducing 443 historical ones in RocksDB, LevelDB, HyperlevelDB, BadgerDB and Redis. 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
31	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation (OSDI’20). 33–50.	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	Black-box testing and fuzzing have been used to identify various types of bugs in File systems and DBMSs, including crash inconsistency bugs [ 21,25], logic 203 PANGOLIN: a Comprehensive Testing Framework for Configuration-Rich Key-Value Stores SYSTOR ’25, September 8–9, 2025, Virtual, Israel bugs [ 31], and correct...	citation marker background	1 INTRODUCTION page 2

This page is rendered from _data/papers/paper_doi_10_1145_3757347_3759132.json, extracted from supplied pdf. 14 pages, 39 references parsed.