{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:462LYNJFIESZNOMQNHHIH72SJB","short_pith_number":"pith:462LYNJF","canonical_record":{"source":{"id":"1707.03139","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-11T06:13:56Z","cross_cats_sorted":[],"title_canon_sha256":"870f2b50f08b74fe20447095361f066765bd01cdea6b9e51f6ebc8d3e85e6c50","abstract_canon_sha256":"0cd3cabd4afea82db21f37cba67c25d8fa59a6a6369b294d84da8ccbbad8fc41"},"schema_version":"1.0"},"canonical_sha256":"e7b4bc3525412596b99069ce83ff524844d18a2dc72ff87d4b33d932603cd7fe","source":{"kind":"arxiv","id":"1707.03139","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03139","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03139v2","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03139","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"462LYNJFIESZ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"462LYNJFIESZNOMQ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"462LYNJF","created_at":"2026-05-18T12:30:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:462LYNJFIESZNOMQNHHIH72SJB","target":"record","payload":{"canonical_record":{"source":{"id":"1707.03139","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-11T06:13:56Z","cross_cats_sorted":[],"title_canon_sha256":"870f2b50f08b74fe20447095361f066765bd01cdea6b9e51f6ebc8d3e85e6c50","abstract_canon_sha256":"0cd3cabd4afea82db21f37cba67c25d8fa59a6a6369b294d84da8ccbbad8fc41"},"schema_version":"1.0"},"canonical_sha256":"e7b4bc3525412596b99069ce83ff524844d18a2dc72ff87d4b33d932603cd7fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:17.239820Z","signature_b64":"YYJ8zj9x09cKGjCoarYH+4ul6u1VsWghobYlxId5nISWAPS4Hap8RJA4MP+/2I8YqXbuRZLBQ7fyGIQ4aN3WAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7b4bc3525412596b99069ce83ff524844d18a2dc72ff87d4b33d932603cd7fe","last_reissued_at":"2026-05-18T00:40:17.238820Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:17.238820Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.03139","source_version":2,"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:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uWu5XqQYDDYOMXHo79cNkH0VV2ThxEOr60rBubrUXlL2lxPc9Cabd2LiSiRyAiDy3wy/gbAuoKmNUfbLVSy7Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:02:38.563284Z"},"content_sha256":"705128f40a8181661cd030e09c28cda9f2bd2e9956291d606db481e50932b8d4","schema_version":"1.0","event_id":"sha256:705128f40a8181661cd030e09c28cda9f2bd2e9956291d606db481e50932b8d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:462LYNJFIESZNOMQNHHIH72SJB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Partitioning Patches into Test-equivalence Classes for Scaling Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Abhik Roychoudhury, Sergey Mechtaev, Shin Hwei Tan, Xiang Gao","submitted_at":"2017-07-11T06:13:56Z","abstract_excerpt":"Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading assignments and patching security vulnerabilities. A common challenge faced by all existing repair techniques is scalability to large patch spaces, since there are many candidate patches that these techniques explicitly or implicitly consider.\n  The correctness criterion for program repair is often given as a suite of tests, since a formal specification of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03139","kind":"arxiv","version":2},"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:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZPhvNSXi8OffMefk0cc7i1oczNxn1CgJgiV0y7r1pgPa+iCcAP+6crBC5dUeRjxeRV4S5J20Oi7Dh2iPq20HCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:02:38.564032Z"},"content_sha256":"cb851575ec37b5a5139f4ec84ed865177654c685304c329a6181e37455f47eb1","schema_version":"1.0","event_id":"sha256:cb851575ec37b5a5139f4ec84ed865177654c685304c329a6181e37455f47eb1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/462LYNJFIESZNOMQNHHIH72SJB/bundle.json","state_url":"https://pith.science/pith/462LYNJFIESZNOMQNHHIH72SJB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/462LYNJFIESZNOMQNHHIH72SJB/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-05-26T03:02:38Z","links":{"resolver":"https://pith.science/pith/462LYNJFIESZNOMQNHHIH72SJB","bundle":"https://pith.science/pith/462LYNJFIESZNOMQNHHIH72SJB/bundle.json","state":"https://pith.science/pith/462LYNJFIESZNOMQNHHIH72SJB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/462LYNJFIESZNOMQNHHIH72SJB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:462LYNJFIESZNOMQNHHIH72SJB","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":"0cd3cabd4afea82db21f37cba67c25d8fa59a6a6369b294d84da8ccbbad8fc41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-11T06:13:56Z","title_canon_sha256":"870f2b50f08b74fe20447095361f066765bd01cdea6b9e51f6ebc8d3e85e6c50"},"schema_version":"1.0","source":{"id":"1707.03139","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.03139","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.03139v2","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03139","created_at":"2026-05-18T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"462LYNJFIESZ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"462LYNJFIESZNOMQ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"462LYNJF","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:cb851575ec37b5a5139f4ec84ed865177654c685304c329a6181e37455f47eb1","target":"graph","created_at":"2026-05-18T00:40:17Z","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":"Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading assignments and patching security vulnerabilities. A common challenge faced by all existing repair techniques is scalability to large patch spaces, since there are many candidate patches that these techniques explicitly or implicitly consider.\n  The correctness criterion for program repair is often given as a suite of tests, since a formal specification of th","authors_text":"Abhik Roychoudhury, Sergey Mechtaev, Shin Hwei Tan, Xiang Gao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-11T06:13:56Z","title":"Partitioning Patches into Test-equivalence Classes for Scaling Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03139","kind":"arxiv","version":2},"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:705128f40a8181661cd030e09c28cda9f2bd2e9956291d606db481e50932b8d4","target":"record","created_at":"2026-05-18T00:40:17Z","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":"0cd3cabd4afea82db21f37cba67c25d8fa59a6a6369b294d84da8ccbbad8fc41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-11T06:13:56Z","title_canon_sha256":"870f2b50f08b74fe20447095361f066765bd01cdea6b9e51f6ebc8d3e85e6c50"},"schema_version":"1.0","source":{"id":"1707.03139","kind":"arxiv","version":2}},"canonical_sha256":"e7b4bc3525412596b99069ce83ff524844d18a2dc72ff87d4b33d932603cd7fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e7b4bc3525412596b99069ce83ff524844d18a2dc72ff87d4b33d932603cd7fe","first_computed_at":"2026-05-18T00:40:17.238820Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:17.238820Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YYJ8zj9x09cKGjCoarYH+4ul6u1VsWghobYlxId5nISWAPS4Hap8RJA4MP+/2I8YqXbuRZLBQ7fyGIQ4aN3WAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:17.239820Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.03139","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:705128f40a8181661cd030e09c28cda9f2bd2e9956291d606db481e50932b8d4","sha256:cb851575ec37b5a5139f4ec84ed865177654c685304c329a6181e37455f47eb1"],"state_sha256":"abe632a7fc9fc6bd09ca98ed537351fba165cb15268925fcf98ba37721d80e81"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RNHMVSyntdBY1ABfb7NKIpXMET4i5IJ5ysuzEAic2y+z20aFI+owRKk5ak3UAMvlIsVzdEwZmnNDbS0khCEbCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:02:38.567974Z","bundle_sha256":"77402bf81e8dff30122da13a8d7f1097808f08cd041e0c0c3fc1b531c30adb51"}}