{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JPRRTA4TIP43UUU57SUG74CZMI","short_pith_number":"pith:JPRRTA4T","canonical_record":{"source":{"id":"1706.09120","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T04:22:06Z","cross_cats_sorted":[],"title_canon_sha256":"af2aed5f3819b80a825f26377f7ec5e742d7b75fb63e1aa4e36b053e8190693d","abstract_canon_sha256":"7441d7e59a6c1c441ff6a7244b15ee838159338d1a0c8be96fa7db80b819a32f"},"schema_version":"1.0"},"canonical_sha256":"4be319839343f9ba529dfca86ff0596204b73fa9066485ba0e59c0c234442d4a","source":{"kind":"arxiv","id":"1706.09120","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.09120","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"arxiv_version","alias_value":"1706.09120v3","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.09120","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"pith_short_12","alias_value":"JPRRTA4TIP43","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JPRRTA4TIP43UUU5","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JPRRTA4T","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JPRRTA4TIP43UUU57SUG74CZMI","target":"record","payload":{"canonical_record":{"source":{"id":"1706.09120","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T04:22:06Z","cross_cats_sorted":[],"title_canon_sha256":"af2aed5f3819b80a825f26377f7ec5e742d7b75fb63e1aa4e36b053e8190693d","abstract_canon_sha256":"7441d7e59a6c1c441ff6a7244b15ee838159338d1a0c8be96fa7db80b819a32f"},"schema_version":"1.0"},"canonical_sha256":"4be319839343f9ba529dfca86ff0596204b73fa9066485ba0e59c0c234442d4a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:09:42.214980Z","signature_b64":"MhlS92g4Q1RvKREMb/DPjg1ldeRo1pmBCZMjZx495UN2HB/iXPAz85moWoGycf7SXfTi+kgCXkcNZd+33oeOBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4be319839343f9ba529dfca86ff0596204b73fa9066485ba0e59c0c234442d4a","last_reissued_at":"2026-05-18T00:09:42.214411Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:09:42.214411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.09120","source_version":3,"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-05-18T00:09:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mgOm4Sg0Fgvc97YYjong079HCMiNPB6bGsDMKbI5XcLANRjvUonrH3FJrlFRB9MetVgqbtSYO3sd7567mbFVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T21:46:01.153111Z"},"content_sha256":"d402078abc76ae4bd41be631f3b8dead0035c566b19fa51fb33356fb2a61ee2f","schema_version":"1.0","event_id":"sha256:d402078abc76ae4bd41be631f3b8dead0035c566b19fa51fb33356fb2a61ee2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JPRRTA4TIP43UUU57SUG74CZMI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Identifying Patch Correctness in Test-Based Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gang Huang, Lu Zhang, Muhan Zeng, Xinyuan Liu, Yingfei Xiong","submitted_at":"2017-06-28T04:22:06Z","abstract_excerpt":"Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.\n  To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and pat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.09120","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:09:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BTZhnjykF6MgmPeQqS6tT0Tz9Zijb86u9XV2B/O0mCPli/k/7xGvsSzTPfsiOkuTQQ+CY/wBr8mIe1Eseuh6BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T21:46:01.153489Z"},"content_sha256":"4b31457d44a84d9118dac16ef0db89936e5fe7de749042690db0d85fb3a1294e","schema_version":"1.0","event_id":"sha256:4b31457d44a84d9118dac16ef0db89936e5fe7de749042690db0d85fb3a1294e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JPRRTA4TIP43UUU57SUG74CZMI/bundle.json","state_url":"https://pith.science/pith/JPRRTA4TIP43UUU57SUG74CZMI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JPRRTA4TIP43UUU57SUG74CZMI/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-06-10T21:46:01Z","links":{"resolver":"https://pith.science/pith/JPRRTA4TIP43UUU57SUG74CZMI","bundle":"https://pith.science/pith/JPRRTA4TIP43UUU57SUG74CZMI/bundle.json","state":"https://pith.science/pith/JPRRTA4TIP43UUU57SUG74CZMI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JPRRTA4TIP43UUU57SUG74CZMI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JPRRTA4TIP43UUU57SUG74CZMI","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":"7441d7e59a6c1c441ff6a7244b15ee838159338d1a0c8be96fa7db80b819a32f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T04:22:06Z","title_canon_sha256":"af2aed5f3819b80a825f26377f7ec5e742d7b75fb63e1aa4e36b053e8190693d"},"schema_version":"1.0","source":{"id":"1706.09120","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.09120","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"arxiv_version","alias_value":"1706.09120v3","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.09120","created_at":"2026-05-18T00:09:42Z"},{"alias_kind":"pith_short_12","alias_value":"JPRRTA4TIP43","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JPRRTA4TIP43UUU5","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JPRRTA4T","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:4b31457d44a84d9118dac16ef0db89936e5fe7de749042690db0d85fb3a1294e","target":"graph","created_at":"2026-05-18T00:09:42Z","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"},"paper":{"abstract_excerpt":"Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.\n  To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and pat","authors_text":"Gang Huang, Lu Zhang, Muhan Zeng, Xinyuan Liu, Yingfei Xiong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T04:22:06Z","title":"Identifying Patch Correctness in Test-Based Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.09120","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:d402078abc76ae4bd41be631f3b8dead0035c566b19fa51fb33356fb2a61ee2f","target":"record","created_at":"2026-05-18T00:09:42Z","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":"7441d7e59a6c1c441ff6a7244b15ee838159338d1a0c8be96fa7db80b819a32f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T04:22:06Z","title_canon_sha256":"af2aed5f3819b80a825f26377f7ec5e742d7b75fb63e1aa4e36b053e8190693d"},"schema_version":"1.0","source":{"id":"1706.09120","kind":"arxiv","version":3}},"canonical_sha256":"4be319839343f9ba529dfca86ff0596204b73fa9066485ba0e59c0c234442d4a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4be319839343f9ba529dfca86ff0596204b73fa9066485ba0e59c0c234442d4a","first_computed_at":"2026-05-18T00:09:42.214411Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:09:42.214411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MhlS92g4Q1RvKREMb/DPjg1ldeRo1pmBCZMjZx495UN2HB/iXPAz85moWoGycf7SXfTi+kgCXkcNZd+33oeOBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:09:42.214980Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.09120","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d402078abc76ae4bd41be631f3b8dead0035c566b19fa51fb33356fb2a61ee2f","sha256:4b31457d44a84d9118dac16ef0db89936e5fe7de749042690db0d85fb3a1294e"],"state_sha256":"df970630c4987466e3561b67abcf70cb8640dea9ccf25a9d9a7186934a668c3e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RrP7E+KKcIPiSJBjYt91/sPMvo0AJ3jvXO7Mmq+EmrEh6KkZ0jT1ZZ7E8egZkQnPxJ7iZKNhh8zRvzcFlXOBCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T21:46:01.155955Z","bundle_sha256":"9b79644ed36cd238d7b328848a9977e6231ffddd1a88f7ed371284a7fc8f728e"}}