{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:7CFJ57W6LHEVCVHSFDF7UNR5NN","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c64363a9fe9073d94be9d186098cf7f1de5eaa1f5316978ba5811e7a82713de5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-06-03T17:14:44Z","title_canon_sha256":"961943676796abcd113aebff95ff06cf19137eb314d162cf8302197f65099a6c"},"schema_version":"1.0","source":{"id":"2006.02398","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.02398","created_at":"2026-07-05T01:07:46Z"},{"alias_kind":"arxiv_version","alias_value":"2006.02398v1","created_at":"2026-07-05T01:07:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.02398","created_at":"2026-07-05T01:07:46Z"},{"alias_kind":"pith_short_12","alias_value":"7CFJ57W6LHEV","created_at":"2026-07-05T01:07:46Z"},{"alias_kind":"pith_short_16","alias_value":"7CFJ57W6LHEVCVHS","created_at":"2026-07-05T01:07:46Z"},{"alias_kind":"pith_short_8","alias_value":"7CFJ57W6","created_at":"2026-07-05T01:07:46Z"}],"graph_snapshots":[{"event_id":"sha256:08bd96c4fc0312812a5318d5bb02784ec102324ea24adf405a4224caf8334c69","target":"graph","created_at":"2026-07-05T01:07:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2006.02398/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Fuzzing is an increasingly popular technique for verifying software functionalities and finding security vulnerabilities. However, current mutation-based fuzzers cannot effectively test database management systems (DBMSs), which strictly check inputs for valid syntax and semantics. Generation-based testing can guarantee the syntax correctness of the inputs, but it does not utilize any feedback, like code coverage, to guide the path exploration.\n  In this paper, we develop Squirrel, a novel fuzzing framework that considers both language validity and coverage feedback to test DBMSs. We design an","authors_text":"Dinghao Wu, Hangfan Zhang, Hong Hu, Rui Zhong, Wenke Lee, Yongheng Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-06-03T17:14:44Z","title":"SQUIRREL: Testing Database Management Systems with Language Validity and Coverage Feedback"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.02398","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4c0f2685c957443bf2912b550f4745422287e5731c372dbab13ce83eab6f38c2","target":"record","created_at":"2026-07-05T01:07:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c64363a9fe9073d94be9d186098cf7f1de5eaa1f5316978ba5811e7a82713de5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2020-06-03T17:14:44Z","title_canon_sha256":"961943676796abcd113aebff95ff06cf19137eb314d162cf8302197f65099a6c"},"schema_version":"1.0","source":{"id":"2006.02398","kind":"arxiv","version":1}},"canonical_sha256":"f88a9efede59c95154f228cbfa363d6b7044535e4ba7b626257235010d8f6db5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f88a9efede59c95154f228cbfa363d6b7044535e4ba7b626257235010d8f6db5","first_computed_at":"2026-07-05T01:07:46.402974Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:07:46.402974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z7f9paVcsa04ImDzkthUxv3myJkRYFbsaSzBoEFTBv+6fQkNlauh9ktK6Sbckgn843Iaofs0eQn0AtcSnzP9AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:07:46.403388Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.02398","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4c0f2685c957443bf2912b550f4745422287e5731c372dbab13ce83eab6f38c2","sha256:08bd96c4fc0312812a5318d5bb02784ec102324ea24adf405a4224caf8334c69"],"state_sha256":"98cc728e8b6b8975fb506c78ef21c3818f8688847de958bff231ab5d7bebf6a8"}