{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VVOSRRAWZMA3HXVBFSCG7Z76XP","short_pith_number":"pith:VVOSRRAW","canonical_record":{"source":{"id":"1707.05172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-17T14:13:30Z","cross_cats_sorted":[],"title_canon_sha256":"3df9316f2d9a2cde092c8a47ca96a8e9a6c215f04530b3872bf6c8541a3d1606","abstract_canon_sha256":"a3807b5c0cb2e399282e261244ceed0d2dc66c212fdd4f0ee2f3c5db9b8d4137"},"schema_version":"1.0"},"canonical_sha256":"ad5d28c416cb01b3dea12c846fe7febbe5b400e041ee3ced532345c27e82fdd9","source":{"kind":"arxiv","id":"1707.05172","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05172","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05172v1","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05172","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"pith_short_12","alias_value":"VVOSRRAWZMA3","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VVOSRRAWZMA3HXVB","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VVOSRRAW","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VVOSRRAWZMA3HXVBFSCG7Z76XP","target":"record","payload":{"canonical_record":{"source":{"id":"1707.05172","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-17T14:13:30Z","cross_cats_sorted":[],"title_canon_sha256":"3df9316f2d9a2cde092c8a47ca96a8e9a6c215f04530b3872bf6c8541a3d1606","abstract_canon_sha256":"a3807b5c0cb2e399282e261244ceed0d2dc66c212fdd4f0ee2f3c5db9b8d4137"},"schema_version":"1.0"},"canonical_sha256":"ad5d28c416cb01b3dea12c846fe7febbe5b400e041ee3ced532345c27e82fdd9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:09.265130Z","signature_b64":"qPd4nrrhuszPOygNjsrWYgCZC4QMw5caes7nwrBzqriXwskunVRMMgcFdKoSi15i6N/Hu/NCHldfEZofgKQrAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad5d28c416cb01b3dea12c846fe7febbe5b400e041ee3ced532345c27e82fdd9","last_reissued_at":"2026-05-18T00:40:09.264664Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:09.264664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.05172","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-05-18T00:40:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nJ1I6tIEdHEaSwo1kdvusSt9PZW+jmtauJStUmrVWrW8Ampcba221R3z3d22zQp8adFK2If5AlxUnKJR3OcSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:38:36.443947Z"},"content_sha256":"90a71f0602483485a5560daa8228c922e74beb62d17115febd54e6369efac27f","schema_version":"1.0","event_id":"sha256:90a71f0602483485a5560daa8228c922e74beb62d17115febd54e6369efac27f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VVOSRRAWZMA3HXVBFSCG7Z76XP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dan Hao, Junjie Chen, Ming Wen, Rongxin Wu, Shing-Chi Cheung","submitted_at":"2017-07-17T14:13:30Z","abstract_excerpt":"Automated program repair (APR) has attracted great research attention, and various techniques have been proposed. Search-based APR is one of the most important categories among these techniques. Existing researches focus on the design of effective mutation operators and searching algorithms to better find the correct patch. Despite various efforts, the effectiveness of these techniques are still limited by the search space explosion problem. One of the key factors attribute to this problem is the quality of fault spaces as reported by existing studies. This motivates us to study the importance"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05172","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":""},"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:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w8yChyEzPmGoica0WirfoCst136dEsNrvKYZO8unXNFe2lVIjZCwqIwYvMYLd1yhGPEX+vTkBAcTVSvQyB8QDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:38:36.444594Z"},"content_sha256":"a09ff1d2432ce5c24d3939c8ed9d65d9957802bbfccb902c723771beec821fd6","schema_version":"1.0","event_id":"sha256:a09ff1d2432ce5c24d3939c8ed9d65d9957802bbfccb902c723771beec821fd6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/bundle.json","state_url":"https://pith.science/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/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-30T08:38:36Z","links":{"resolver":"https://pith.science/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP","bundle":"https://pith.science/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/bundle.json","state":"https://pith.science/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VVOSRRAWZMA3HXVBFSCG7Z76XP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VVOSRRAWZMA3HXVBFSCG7Z76XP","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":"a3807b5c0cb2e399282e261244ceed0d2dc66c212fdd4f0ee2f3c5db9b8d4137","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-17T14:13:30Z","title_canon_sha256":"3df9316f2d9a2cde092c8a47ca96a8e9a6c215f04530b3872bf6c8541a3d1606"},"schema_version":"1.0","source":{"id":"1707.05172","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05172","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05172v1","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05172","created_at":"2026-05-18T00:40:09Z"},{"alias_kind":"pith_short_12","alias_value":"VVOSRRAWZMA3","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VVOSRRAWZMA3HXVB","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VVOSRRAW","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:a09ff1d2432ce5c24d3939c8ed9d65d9957802bbfccb902c723771beec821fd6","target":"graph","created_at":"2026-05-18T00:40:09Z","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 (APR) has attracted great research attention, and various techniques have been proposed. Search-based APR is one of the most important categories among these techniques. Existing researches focus on the design of effective mutation operators and searching algorithms to better find the correct patch. Despite various efforts, the effectiveness of these techniques are still limited by the search space explosion problem. One of the key factors attribute to this problem is the quality of fault spaces as reported by existing studies. This motivates us to study the importance","authors_text":"Dan Hao, Junjie Chen, Ming Wen, Rongxin Wu, Shing-Chi Cheung","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-17T14:13:30Z","title":"An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05172","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:90a71f0602483485a5560daa8228c922e74beb62d17115febd54e6369efac27f","target":"record","created_at":"2026-05-18T00:40:09Z","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":"a3807b5c0cb2e399282e261244ceed0d2dc66c212fdd4f0ee2f3c5db9b8d4137","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-17T14:13:30Z","title_canon_sha256":"3df9316f2d9a2cde092c8a47ca96a8e9a6c215f04530b3872bf6c8541a3d1606"},"schema_version":"1.0","source":{"id":"1707.05172","kind":"arxiv","version":1}},"canonical_sha256":"ad5d28c416cb01b3dea12c846fe7febbe5b400e041ee3ced532345c27e82fdd9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad5d28c416cb01b3dea12c846fe7febbe5b400e041ee3ced532345c27e82fdd9","first_computed_at":"2026-05-18T00:40:09.264664Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:09.264664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qPd4nrrhuszPOygNjsrWYgCZC4QMw5caes7nwrBzqriXwskunVRMMgcFdKoSi15i6N/Hu/NCHldfEZofgKQrAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:09.265130Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05172","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90a71f0602483485a5560daa8228c922e74beb62d17115febd54e6369efac27f","sha256:a09ff1d2432ce5c24d3939c8ed9d65d9957802bbfccb902c723771beec821fd6"],"state_sha256":"f53854a1cf56f1684f3c5c876ed8dc45e352bbb63ea9fc387c8d40bcbd0618c2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R2tdvS07KbuNwfie+Zst0eh2cMLW37n856V3OoyoMU8tgmlnaC6mqitLa9zatXkySfnBbwKYKGSG+WS6jcAoCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:38:36.447835Z","bundle_sha256":"368ddbb8671d1c12719f3c7d6acb4c49b009b09a7455af58286f48191cc78f1f"}}