{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:PDFVNBDGDQVT67IGVL7GSOV6HA","short_pith_number":"pith:PDFVNBDG","canonical_record":{"source":{"id":"2203.05166","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-10T05:43:35Z","cross_cats_sorted":[],"title_canon_sha256":"bcf352e7014c6b18e2770f10737593a4274bca8cb274e64fc6d98a73160d960c","abstract_canon_sha256":"05cb4c939624f2ba6fa1c5eb503e9282bdf1e448788e2b32830071fae4b18f79"},"schema_version":"1.0"},"canonical_sha256":"78cb5684661c2b3f7d06aafe693abe3826984a480aa0407f8ea5e532b142c952","source":{"kind":"arxiv","id":"2203.05166","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05166","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05166v1","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05166","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_12","alias_value":"PDFVNBDGDQVT","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_16","alias_value":"PDFVNBDGDQVT67IG","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_8","alias_value":"PDFVNBDG","created_at":"2026-07-05T04:03:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:PDFVNBDGDQVT67IGVL7GSOV6HA","target":"record","payload":{"canonical_record":{"source":{"id":"2203.05166","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-10T05:43:35Z","cross_cats_sorted":[],"title_canon_sha256":"bcf352e7014c6b18e2770f10737593a4274bca8cb274e64fc6d98a73160d960c","abstract_canon_sha256":"05cb4c939624f2ba6fa1c5eb503e9282bdf1e448788e2b32830071fae4b18f79"},"schema_version":"1.0"},"canonical_sha256":"78cb5684661c2b3f7d06aafe693abe3826984a480aa0407f8ea5e532b142c952","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:03:30.581879Z","signature_b64":"smVpOVDbu3/jubyYMVk7WDF8WgkWg3UC/VtChfmfuIdb3vB2pIbNKfpfyaMP5X2VAcyaWwBJT21CR/6U1+NwBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78cb5684661c2b3f7d06aafe693abe3826984a480aa0407f8ea5e532b142c952","last_reissued_at":"2026-07-05T04:03:30.581447Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:03:30.581447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2203.05166","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:03:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GtX31x7KsLk/DTRz2vDSyJhtwGmvehOeME7Cckt29Mw0+e9vfGJyDgKpetENVGj3+2rpgzoTwWmwYs5L9bjdCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T20:28:51.882917Z"},"content_sha256":"c51e172506f0b9eaaa1eb6f8d731f1272c433826b0c81aef0246ac6c56dc502f","schema_version":"1.0","event_id":"sha256:c51e172506f0b9eaaa1eb6f8d731f1272c433826b0c81aef0246ac6c56dc502f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:PDFVNBDGDQVT67IGVL7GSOV6HA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Program Repair: Automated vs. Manual","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chunrong Fang, Lingming Zhang, Quanjun Zhang, Weisong Sun, Yuan Zhao, Ziyuan Wang","submitted_at":"2022-03-10T05:43:35Z","abstract_excerpt":"Various automated program repair (APR) techniques have been proposed to fix bugs automatically in the last decade. Although recent researches have made significant progress on the effectiveness and efficiency, it is still unclear how APR techniques perform with human intervention in a real debugging scenario. To bridge this gap, we conduct an extensive study to compare three state-of-the-art APR tools with manual program repair, and further investigate whether the assistance of APR tools (i.e., repair reports) can improve manual program repair. To that end, we recruit 20 participants for a con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05166","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2203.05166/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T04:03:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"68AWm3YRaWgFuEXdv+ZiXdgHSq7SW42gX7fDw3crvKafwYuDOCf+AOmF1vo1JLRoi/DsNXugz6GwpZL3v0y2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-02T20:28:51.883495Z"},"content_sha256":"0f091089a447aa702dd389cbfa3dc63599d5423dcf7f2c9f1834eb4a410e13a7","schema_version":"1.0","event_id":"sha256:0f091089a447aa702dd389cbfa3dc63599d5423dcf7f2c9f1834eb4a410e13a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/bundle.json","state_url":"https://pith.science/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-02T20:28:51Z","links":{"resolver":"https://pith.science/pith/PDFVNBDGDQVT67IGVL7GSOV6HA","bundle":"https://pith.science/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/bundle.json","state":"https://pith.science/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PDFVNBDGDQVT67IGVL7GSOV6HA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:PDFVNBDGDQVT67IGVL7GSOV6HA","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":"05cb4c939624f2ba6fa1c5eb503e9282bdf1e448788e2b32830071fae4b18f79","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-10T05:43:35Z","title_canon_sha256":"bcf352e7014c6b18e2770f10737593a4274bca8cb274e64fc6d98a73160d960c"},"schema_version":"1.0","source":{"id":"2203.05166","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2203.05166","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"arxiv_version","alias_value":"2203.05166v1","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.05166","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_12","alias_value":"PDFVNBDGDQVT","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_16","alias_value":"PDFVNBDGDQVT67IG","created_at":"2026-07-05T04:03:30Z"},{"alias_kind":"pith_short_8","alias_value":"PDFVNBDG","created_at":"2026-07-05T04:03:30Z"}],"graph_snapshots":[{"event_id":"sha256:0f091089a447aa702dd389cbfa3dc63599d5423dcf7f2c9f1834eb4a410e13a7","target":"graph","created_at":"2026-07-05T04:03:30Z","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/2203.05166/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Various automated program repair (APR) techniques have been proposed to fix bugs automatically in the last decade. Although recent researches have made significant progress on the effectiveness and efficiency, it is still unclear how APR techniques perform with human intervention in a real debugging scenario. To bridge this gap, we conduct an extensive study to compare three state-of-the-art APR tools with manual program repair, and further investigate whether the assistance of APR tools (i.e., repair reports) can improve manual program repair. To that end, we recruit 20 participants for a con","authors_text":"Chunrong Fang, Lingming Zhang, Quanjun Zhang, Weisong Sun, Yuan Zhao, Ziyuan Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-10T05:43:35Z","title":"Program Repair: Automated vs. Manual"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.05166","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:c51e172506f0b9eaaa1eb6f8d731f1272c433826b0c81aef0246ac6c56dc502f","target":"record","created_at":"2026-07-05T04:03:30Z","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":"05cb4c939624f2ba6fa1c5eb503e9282bdf1e448788e2b32830071fae4b18f79","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-03-10T05:43:35Z","title_canon_sha256":"bcf352e7014c6b18e2770f10737593a4274bca8cb274e64fc6d98a73160d960c"},"schema_version":"1.0","source":{"id":"2203.05166","kind":"arxiv","version":1}},"canonical_sha256":"78cb5684661c2b3f7d06aafe693abe3826984a480aa0407f8ea5e532b142c952","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78cb5684661c2b3f7d06aafe693abe3826984a480aa0407f8ea5e532b142c952","first_computed_at":"2026-07-05T04:03:30.581447Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:03:30.581447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"smVpOVDbu3/jubyYMVk7WDF8WgkWg3UC/VtChfmfuIdb3vB2pIbNKfpfyaMP5X2VAcyaWwBJT21CR/6U1+NwBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:03:30.581879Z","signed_message":"canonical_sha256_bytes"},"source_id":"2203.05166","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c51e172506f0b9eaaa1eb6f8d731f1272c433826b0c81aef0246ac6c56dc502f","sha256:0f091089a447aa702dd389cbfa3dc63599d5423dcf7f2c9f1834eb4a410e13a7"],"state_sha256":"414c9e86e7b0f9df0f047b353fcbd3729e0c5388b47ed8a7e58c632ef5ea2554"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"09xytD3d4HWME/VPg6rfBQST8A4RdjZJidE78jfnk0ksiuPoI1eF9bmVJtoPuE1fCrR6YYrAMGtJDrH9XZNRAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-02T20:28:51.887102Z","bundle_sha256":"0bd42dc03cbf647d0d72bef48c348aec7fe7f5856d1dcd00ecfe0ec4a8c5164b"}}