{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DUTYY44ASNI2YPDXBTP2C44Q6S","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":"ecd87d2975508370077a77d5ef3c3eb3cab94f086face534f8935c707089e278","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T20:01:51Z","title_canon_sha256":"471437d7765cf78dc113fd4a1e931e6d8c4ba32e4f5b9d1fd9dd0074f8b84157"},"schema_version":"1.0","source":{"id":"2310.02407","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.02407","created_at":"2026-07-05T12:06:57Z"},{"alias_kind":"arxiv_version","alias_value":"2310.02407v3","created_at":"2026-07-05T12:06:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.02407","created_at":"2026-07-05T12:06:57Z"},{"alias_kind":"pith_short_12","alias_value":"DUTYY44ASNI2","created_at":"2026-07-05T12:06:57Z"},{"alias_kind":"pith_short_16","alias_value":"DUTYY44ASNI2YPDX","created_at":"2026-07-05T12:06:57Z"},{"alias_kind":"pith_short_8","alias_value":"DUTYY44A","created_at":"2026-07-05T12:06:57Z"}],"graph_snapshots":[{"event_id":"sha256:cd58e531a9e8af543f97e8ef424728d05a819ef52f9b7940c4b1c1cdad415139","target":"graph","created_at":"2026-07-05T12:06:57Z","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/2310.02407/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Bugs are essential in software engineering; many research studies in the past decades have been proposed to detect, localize, and repair bugs in software systems. Effectiveness evaluation of such techniques requires complex bugs, i.e., those that are hard to detect through testing and hard to repair through debugging. From the classic software engineering point of view, a hard-to-repair bug differs from the correct code in multiple locations, making it hard to localize and repair. Hard-to-detect bugs, on the other hand, manifest themselves under specific test inputs and reachability conditions","authors_text":"Ali Reza Ibrahimzada, Reyhaneh Jabbarvand, Ryan Rong, Yang Chen","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T20:01:51Z","title":"Challenging Bug Prediction and Repair Models with Synthetic Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.02407","kind":"arxiv","version":3},"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:6de56727f1fcb6a3a7a97c28cb13e0ef66f0a41df37c5fd6332a7a19732e75c5","target":"record","created_at":"2026-07-05T12:06:57Z","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":"ecd87d2975508370077a77d5ef3c3eb3cab94f086face534f8935c707089e278","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-10-03T20:01:51Z","title_canon_sha256":"471437d7765cf78dc113fd4a1e931e6d8c4ba32e4f5b9d1fd9dd0074f8b84157"},"schema_version":"1.0","source":{"id":"2310.02407","kind":"arxiv","version":3}},"canonical_sha256":"1d278c73809351ac3c770cdfa17390f4830615d2c6fd52cd2983d33771d16731","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d278c73809351ac3c770cdfa17390f4830615d2c6fd52cd2983d33771d16731","first_computed_at":"2026-07-05T12:06:57.892607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:06:57.892607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1pBZo9DTbYWivufYOOtYqEnMklmtDqpgEVgd0zUNDQbWN3a85SDb9sAkqavnyz5rUape1IaUYNR65aG3JI62CA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:06:57.893088Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.02407","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6de56727f1fcb6a3a7a97c28cb13e0ef66f0a41df37c5fd6332a7a19732e75c5","sha256:cd58e531a9e8af543f97e8ef424728d05a819ef52f9b7940c4b1c1cdad415139"],"state_sha256":"b20823768fc447ceef8f6925e6a7a5a06e0ece07f435996e9a13eacf8bb40ace"}