{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:G2AP6RZDXKIWO57BZ54S4EEU5V","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":"51838710351a65781a3a094a4bc9dcf084be4f6546d34567ba71d301c6d7e989","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-28T20:20:04Z","title_canon_sha256":"e12239103bc388742370323715acaedab313213aac6d4dfec2646f4de6e3ad9e"},"schema_version":"1.0","source":{"id":"2507.21318","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.21318","created_at":"2026-07-05T12:08:05Z"},{"alias_kind":"arxiv_version","alias_value":"2507.21318v1","created_at":"2026-07-05T12:08:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.21318","created_at":"2026-07-05T12:08:05Z"},{"alias_kind":"pith_short_12","alias_value":"G2AP6RZDXKIW","created_at":"2026-07-05T12:08:05Z"},{"alias_kind":"pith_short_16","alias_value":"G2AP6RZDXKIWO57B","created_at":"2026-07-05T12:08:05Z"},{"alias_kind":"pith_short_8","alias_value":"G2AP6RZD","created_at":"2026-07-05T12:08:05Z"}],"graph_snapshots":[{"event_id":"sha256:f069d6be07fa52ec809449e87e8b2aeaa810ee1450a63eb799f30f18dd6bdafd","target":"graph","created_at":"2026-07-05T12:08:05Z","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/2507.21318/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bugs, especially those in concurrent systems, are often hard to reproduce because they manifest only under rare conditions. Testers frequently encounter failures that occur only under specific inputs, even when occurring with low probability. We propose an approach to systematically amplify the occurrence of such elusive bugs. We treat the system under test as a black-box and use repeated trial executions to train a predictive model that estimates the probability of a given input configuration triggering a bug. We evaluate this approach on a dataset of 17 representative concurrency bugs spanni","authors_text":"Achiya Elyasaf, Eitan Farchi, Gal Amram, Gera Weiss, Oded Margalit, Yeshayahu Weiss","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-28T20:20:04Z","title":"Black-Box Bug-Amplification for Multithreaded Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.21318","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:b993bbfb13c1da6a8fb506136510b81d7b71cab77f87dca8737cacbb2a8a6e1c","target":"record","created_at":"2026-07-05T12:08:05Z","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":"51838710351a65781a3a094a4bc9dcf084be4f6546d34567ba71d301c6d7e989","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-28T20:20:04Z","title_canon_sha256":"e12239103bc388742370323715acaedab313213aac6d4dfec2646f4de6e3ad9e"},"schema_version":"1.0","source":{"id":"2507.21318","kind":"arxiv","version":1}},"canonical_sha256":"3680ff4723ba916777e1cf792e1094ed5a0cd1ee65b20ed5f22804f93843c5ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3680ff4723ba916777e1cf792e1094ed5a0cd1ee65b20ed5f22804f93843c5ee","first_computed_at":"2026-07-05T12:08:05.731945Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:05.731945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fh5QiFV3vns3Hirk506e6DkYmu2gC0vdbyteRVx2h5wHDqKqAhhkkcr7aiiNeCj/HlRhoasvB3febIK5/S9CAg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:05.732474Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.21318","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b993bbfb13c1da6a8fb506136510b81d7b71cab77f87dca8737cacbb2a8a6e1c","sha256:f069d6be07fa52ec809449e87e8b2aeaa810ee1450a63eb799f30f18dd6bdafd"],"state_sha256":"a4bb6f9068c1371cfb5fc389cdc4233b8ef2e9f4d92aca267afb695fa49f6081"}