{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:TY3JJOIN44PCNHALDI5LU2QBSW","short_pith_number":"pith:TY3JJOIN","canonical_record":{"source":{"id":"1612.05780","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-17T15:26:37Z","cross_cats_sorted":[],"title_canon_sha256":"de3fe82cf5dfa997566d8e6487aea7e55886a07322eed506451b08dd6a931776","abstract_canon_sha256":"1766359c679e0b0c1bc90978c8743f8f06b84ce57a0a7e830fd2942e80d1e398"},"schema_version":"1.0"},"canonical_sha256":"9e3694b90de71e269c0b1a3aba6a019591c30236121c724f9757d4efab411d17","source":{"kind":"arxiv","id":"1612.05780","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.05780","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.05780v1","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.05780","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"pith_short_12","alias_value":"TY3JJOIN44PC","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"TY3JJOIN44PCNHAL","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"TY3JJOIN","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:TY3JJOIN44PCNHALDI5LU2QBSW","target":"record","payload":{"canonical_record":{"source":{"id":"1612.05780","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-17T15:26:37Z","cross_cats_sorted":[],"title_canon_sha256":"de3fe82cf5dfa997566d8e6487aea7e55886a07322eed506451b08dd6a931776","abstract_canon_sha256":"1766359c679e0b0c1bc90978c8743f8f06b84ce57a0a7e830fd2942e80d1e398"},"schema_version":"1.0"},"canonical_sha256":"9e3694b90de71e269c0b1a3aba6a019591c30236121c724f9757d4efab411d17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:46.734953Z","signature_b64":"xG2ic1S+Egt4Gy/+0JSUl1TTNuyHKLQbUficd5va6vPQqozh6iMM7Cu3R/8Q51hIaXelAsNEFi7SR3G0WiVeCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e3694b90de71e269c0b1a3aba6a019591c30236121c724f9757d4efab411d17","last_reissued_at":"2026-05-18T00:54:46.734429Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:46.734429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.05780","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:54:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xyOgvAYwCMdOFXQK0A8KvulBXuKBcQH/gccZG28fwgikv4ZjROApmV+tzGFohHOYiBF7tIaMKqxMXKWDrrgRAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:55:37.024729Z"},"content_sha256":"7b5f14f1125ff710de0879595045a544eb84debf4fc570c8fc744ce96ae42a84","schema_version":"1.0","event_id":"sha256:7b5f14f1125ff710de0879595045a544eb84debf4fc570c8fc744ce96ae42a84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:TY3JJOIN44PCNHALDI5LU2QBSW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FPA-Debug: Effective Statistical Fault Localization Considering Fault-proneness Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Esmaeel Nikravan, Farid Feyzi, Saeed Parsa","submitted_at":"2016-12-17T15:26:37Z","abstract_excerpt":"The aim is to identify faulty predicates which have strong effect on program failure. Statistical debugging techniques are amongst best methods for pinpointing defects within the program source code. However, they have some drawbacks. They require a large number of executions to identify faults, they might be adversely affected by coincidental correctness, and they do not take into consideration fault-proneness associated with different parts of the program code while constructing behavioral models. Additionally, they do not consider the simultaneous impact of predicates on program termination"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.05780","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:54:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"by0DpjNOPw8TiRPjZZWUb/lP8Q5N6Jz0NYLOkFTX1BvLGoDvoaQFm86N2+err63ZaaNAWJzMy8lVLonaj1LyAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:55:37.025097Z"},"content_sha256":"2adc648fb06eab7d11f04ac38b2dcd8f92c6d0562b92742d46051d37795aac74","schema_version":"1.0","event_id":"sha256:2adc648fb06eab7d11f04ac38b2dcd8f92c6d0562b92742d46051d37795aac74"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TY3JJOIN44PCNHALDI5LU2QBSW/bundle.json","state_url":"https://pith.science/pith/TY3JJOIN44PCNHALDI5LU2QBSW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TY3JJOIN44PCNHALDI5LU2QBSW/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-07-02T10:55:37Z","links":{"resolver":"https://pith.science/pith/TY3JJOIN44PCNHALDI5LU2QBSW","bundle":"https://pith.science/pith/TY3JJOIN44PCNHALDI5LU2QBSW/bundle.json","state":"https://pith.science/pith/TY3JJOIN44PCNHALDI5LU2QBSW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TY3JJOIN44PCNHALDI5LU2QBSW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:TY3JJOIN44PCNHALDI5LU2QBSW","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":"1766359c679e0b0c1bc90978c8743f8f06b84ce57a0a7e830fd2942e80d1e398","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-17T15:26:37Z","title_canon_sha256":"de3fe82cf5dfa997566d8e6487aea7e55886a07322eed506451b08dd6a931776"},"schema_version":"1.0","source":{"id":"1612.05780","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.05780","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.05780v1","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.05780","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"pith_short_12","alias_value":"TY3JJOIN44PC","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"TY3JJOIN44PCNHAL","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"TY3JJOIN","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:2adc648fb06eab7d11f04ac38b2dcd8f92c6d0562b92742d46051d37795aac74","target":"graph","created_at":"2026-05-18T00:54:46Z","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":"The aim is to identify faulty predicates which have strong effect on program failure. Statistical debugging techniques are amongst best methods for pinpointing defects within the program source code. However, they have some drawbacks. They require a large number of executions to identify faults, they might be adversely affected by coincidental correctness, and they do not take into consideration fault-proneness associated with different parts of the program code while constructing behavioral models. Additionally, they do not consider the simultaneous impact of predicates on program termination","authors_text":"Esmaeel Nikravan, Farid Feyzi, Saeed Parsa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-17T15:26:37Z","title":"FPA-Debug: Effective Statistical Fault Localization Considering Fault-proneness Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.05780","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:7b5f14f1125ff710de0879595045a544eb84debf4fc570c8fc744ce96ae42a84","target":"record","created_at":"2026-05-18T00:54:46Z","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":"1766359c679e0b0c1bc90978c8743f8f06b84ce57a0a7e830fd2942e80d1e398","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-17T15:26:37Z","title_canon_sha256":"de3fe82cf5dfa997566d8e6487aea7e55886a07322eed506451b08dd6a931776"},"schema_version":"1.0","source":{"id":"1612.05780","kind":"arxiv","version":1}},"canonical_sha256":"9e3694b90de71e269c0b1a3aba6a019591c30236121c724f9757d4efab411d17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e3694b90de71e269c0b1a3aba6a019591c30236121c724f9757d4efab411d17","first_computed_at":"2026-05-18T00:54:46.734429Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:46.734429Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xG2ic1S+Egt4Gy/+0JSUl1TTNuyHKLQbUficd5va6vPQqozh6iMM7Cu3R/8Q51hIaXelAsNEFi7SR3G0WiVeCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:46.734953Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.05780","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b5f14f1125ff710de0879595045a544eb84debf4fc570c8fc744ce96ae42a84","sha256:2adc648fb06eab7d11f04ac38b2dcd8f92c6d0562b92742d46051d37795aac74"],"state_sha256":"0e6d7bd1ceaf0138ce93e8112defd1b0e6e9143bb09b9e416859501e5dc834ee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q/Mi2hY+a8LbT4Z7FEIFIS09a18fXcplqm8X6/uqpSGJwjRQWxxapU8pzGwJG5orT5znY4WKBvYb+0w2DLtLBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T10:55:37.027107Z","bundle_sha256":"a2902d69aa7d65d91aad878a787e48a72224c6db488054684a92c4900ff6a523"}}