{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:3KS5UIQKDQ4FETK5ODTPVL5J3L","short_pith_number":"pith:3KS5UIQK","canonical_record":{"source":{"id":"1803.03673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T05:06:48Z","cross_cats_sorted":[],"title_canon_sha256":"f67ccfd656e064d6546f7547982c9a2a24320c0dbab4ede976d700b04fae6a79","abstract_canon_sha256":"7a53a1ed0fcb3011113d67f1975451050e862d2a61b938982c0a4af49052cf93"},"schema_version":"1.0"},"canonical_sha256":"daa5da220a1c38524d5d70e6faafa9dac8c8499b572cf39f6a8abc6f87a7ddb8","source":{"kind":"arxiv","id":"1803.03673","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03673","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03673v1","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03673","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"pith_short_12","alias_value":"3KS5UIQKDQ4F","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3KS5UIQKDQ4FETK5","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3KS5UIQK","created_at":"2026-05-18T12:32:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:3KS5UIQKDQ4FETK5ODTPVL5J3L","target":"record","payload":{"canonical_record":{"source":{"id":"1803.03673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T05:06:48Z","cross_cats_sorted":[],"title_canon_sha256":"f67ccfd656e064d6546f7547982c9a2a24320c0dbab4ede976d700b04fae6a79","abstract_canon_sha256":"7a53a1ed0fcb3011113d67f1975451050e862d2a61b938982c0a4af49052cf93"},"schema_version":"1.0"},"canonical_sha256":"daa5da220a1c38524d5d70e6faafa9dac8c8499b572cf39f6a8abc6f87a7ddb8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:38.529569Z","signature_b64":"6MJxVijIJLfDZLm7JRuSYezO4nVxopCBKPpgcbYodaHfD2F/HuN5CaYUew7327R7grmRvYTP0+s8buy5KvxEDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daa5da220a1c38524d5d70e6faafa9dac8c8499b572cf39f6a8abc6f87a7ddb8","last_reissued_at":"2026-05-18T00:21:38.528805Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:38.528805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.03673","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:21:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BDcnlnYZ6tzVrzv/na4Ibx/UvuWjmXDSaUaTzXDHMFvQ3g+qqnVmUj/M+P+xPuiTNZLIaKLfUorYdRJvw7N8CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T14:44:59.051041Z"},"content_sha256":"d3098e31d9958e85a8065b0b11c6930ffd35cc6077b9b191fa7273fe6a7c65c3","schema_version":"1.0","event_id":"sha256:d3098e31d9958e85a8065b0b11c6930ffd35cc6077b9b191fa7273fe6a7c65c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:3KS5UIQKDQ4FETK5ODTPVL5J3L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fault Localization Models in Debugging","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Mahdi H. Miraz, Mohammad Riyaz Belgaum, Safeeullah Soomro, Zainab Alansari","submitted_at":"2018-02-13T05:06:48Z","abstract_excerpt":"Debugging is considered as a rigorous but important feature of software engineering process. Since more than a decade, the software engineering research community is exploring different techniques for removal of faults from programs but it is quite difficult to overcome all the faults of software programs. Thus, it is still remains as a real challenge for software debugging and maintenance community. In this paper, we briefly introduced software anomalies and faults classification and then explained different fault localization models using theory of diagnosis. Furthermore, we compared and con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03673","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:21:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tWLHjD4Tia+VTACtEKSeQoKjoCtSq/n0fBVzI4hA0ISTO7McQOL8m6Pgx+dbdF7h8eVZpcXxgT9WczZp7yGOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T14:44:59.051713Z"},"content_sha256":"b65e6702bd530cd0e75caa55bc8eac3fd9c1ab4a917373ca889c03233fb22e22","schema_version":"1.0","event_id":"sha256:b65e6702bd530cd0e75caa55bc8eac3fd9c1ab4a917373ca889c03233fb22e22"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/bundle.json","state_url":"https://pith.science/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/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-25T14:44:59Z","links":{"resolver":"https://pith.science/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L","bundle":"https://pith.science/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/bundle.json","state":"https://pith.science/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3KS5UIQKDQ4FETK5ODTPVL5J3L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:3KS5UIQKDQ4FETK5ODTPVL5J3L","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":"7a53a1ed0fcb3011113d67f1975451050e862d2a61b938982c0a4af49052cf93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T05:06:48Z","title_canon_sha256":"f67ccfd656e064d6546f7547982c9a2a24320c0dbab4ede976d700b04fae6a79"},"schema_version":"1.0","source":{"id":"1803.03673","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03673","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03673v1","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03673","created_at":"2026-05-18T00:21:38Z"},{"alias_kind":"pith_short_12","alias_value":"3KS5UIQKDQ4F","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"3KS5UIQKDQ4FETK5","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"3KS5UIQK","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:b65e6702bd530cd0e75caa55bc8eac3fd9c1ab4a917373ca889c03233fb22e22","target":"graph","created_at":"2026-05-18T00:21:38Z","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":"Debugging is considered as a rigorous but important feature of software engineering process. Since more than a decade, the software engineering research community is exploring different techniques for removal of faults from programs but it is quite difficult to overcome all the faults of software programs. Thus, it is still remains as a real challenge for software debugging and maintenance community. In this paper, we briefly introduced software anomalies and faults classification and then explained different fault localization models using theory of diagnosis. Furthermore, we compared and con","authors_text":"Mahdi H. Miraz, Mohammad Riyaz Belgaum, Safeeullah Soomro, Zainab Alansari","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T05:06:48Z","title":"Fault Localization Models in Debugging"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03673","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:d3098e31d9958e85a8065b0b11c6930ffd35cc6077b9b191fa7273fe6a7c65c3","target":"record","created_at":"2026-05-18T00:21:38Z","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":"7a53a1ed0fcb3011113d67f1975451050e862d2a61b938982c0a4af49052cf93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T05:06:48Z","title_canon_sha256":"f67ccfd656e064d6546f7547982c9a2a24320c0dbab4ede976d700b04fae6a79"},"schema_version":"1.0","source":{"id":"1803.03673","kind":"arxiv","version":1}},"canonical_sha256":"daa5da220a1c38524d5d70e6faafa9dac8c8499b572cf39f6a8abc6f87a7ddb8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"daa5da220a1c38524d5d70e6faafa9dac8c8499b572cf39f6a8abc6f87a7ddb8","first_computed_at":"2026-05-18T00:21:38.528805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:38.528805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6MJxVijIJLfDZLm7JRuSYezO4nVxopCBKPpgcbYodaHfD2F/HuN5CaYUew7327R7grmRvYTP0+s8buy5KvxEDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:38.529569Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.03673","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3098e31d9958e85a8065b0b11c6930ffd35cc6077b9b191fa7273fe6a7c65c3","sha256:b65e6702bd530cd0e75caa55bc8eac3fd9c1ab4a917373ca889c03233fb22e22"],"state_sha256":"53bba2b6b6500b16db47adb2d338c18477d982d716b620b69f3be39721eb3189"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YYK/9TgV/zExc063aTFKZFbdsGCy17H5EhmhVvYJRaSmgWYMeJo2oiMFmHYZ6L+PwlrjNUOzvUAHlUwBVcgcAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T14:44:59.055555Z","bundle_sha256":"dcc349a60c0432a9b26d9f971ba17880d8776a0951b48ae4f728623dc1bfcb6d"}}