{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:2GGZFLRV6GKZWC4HZOHUQDJUQJ","short_pith_number":"pith:2GGZFLRV","canonical_record":{"source":{"id":"1308.2468","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.SE","submitted_at":"2013-08-12T06:01:14Z","cross_cats_sorted":[],"title_canon_sha256":"08e64088b32bad1ea2268d62a298844790d43e0769e9c626fe8a262b4e1917ec","abstract_canon_sha256":"373f3f1e808167f2d8b1fe831e477507ef9c301dddef3b95fb1634353b6a6d59"},"schema_version":"1.0"},"canonical_sha256":"d18d92ae35f1959b0b87cb8f480d348277e9007abf74987dc59bf541b171ac98","source":{"kind":"arxiv","id":"1308.2468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.2468","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"arxiv_version","alias_value":"1308.2468v1","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.2468","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"pith_short_12","alias_value":"2GGZFLRV6GKZ","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"2GGZFLRV6GKZWC4H","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"2GGZFLRV","created_at":"2026-05-18T12:27:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:2GGZFLRV6GKZWC4HZOHUQDJUQJ","target":"record","payload":{"canonical_record":{"source":{"id":"1308.2468","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.SE","submitted_at":"2013-08-12T06:01:14Z","cross_cats_sorted":[],"title_canon_sha256":"08e64088b32bad1ea2268d62a298844790d43e0769e9c626fe8a262b4e1917ec","abstract_canon_sha256":"373f3f1e808167f2d8b1fe831e477507ef9c301dddef3b95fb1634353b6a6d59"},"schema_version":"1.0"},"canonical_sha256":"d18d92ae35f1959b0b87cb8f480d348277e9007abf74987dc59bf541b171ac98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:07.308922Z","signature_b64":"qA+qxhWBx5gy2f89cooInERcdyNCUMvm9N04muhYD5ldub6uHKle6T/SkJlXhaFI1/7wh+yaLiv1RQKYa4KjCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d18d92ae35f1959b0b87cb8f480d348277e9007abf74987dc59bf541b171ac98","last_reissued_at":"2026-05-18T03:16:07.308407Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:07.308407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.2468","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-18T03:16:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OeXjU6kt+A9AcnEd9kyMFU8mLQ+3I63GO1RlF1VKRu+ZGlggR/p6Lh6Dhwg51QHgp5ocIju4svKTp0ZmkYrjAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:17:23.743605Z"},"content_sha256":"f7532dc1063aab10478164fb0d49990ef6c04a53d4c2580f0bb2131b7d8833a7","schema_version":"1.0","event_id":"sha256:f7532dc1063aab10478164fb0d49990ef6c04a53d4c2580f0bb2131b7d8833a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:2GGZFLRV6GKZWC4HZOHUQDJUQJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Path Conditions Help to Locate and Localize Faults from Programs","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ayaz Keerio, Safeeullah Soomro, Zahid Hussain","submitted_at":"2013-08-12T06:01:14Z","abstract_excerpt":"Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community of this domain is using path conditions to generate a minimal set of PLOFC (possible lines of faulty code). It's a run time method that will effectively bring the minimal possible set of faulty lines of code through the help of path conditions and some heuristics involved. In thi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.2468","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-18T03:16:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0hfDZta4RFoaksmGPKrfbe/xThjwgRUAUg/l45qfpi4lQi/3iPIHVRZsQNpyL0JlC0OfIjMp11mraj6se3leCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T08:17:23.743958Z"},"content_sha256":"f4f233bf8e2dab903420900f7d0c3e383938173cf3472a0e2acd1f2546fc2ffa","schema_version":"1.0","event_id":"sha256:f4f233bf8e2dab903420900f7d0c3e383938173cf3472a0e2acd1f2546fc2ffa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/bundle.json","state_url":"https://pith.science/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/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-02T08:17:23Z","links":{"resolver":"https://pith.science/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ","bundle":"https://pith.science/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/bundle.json","state":"https://pith.science/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2GGZFLRV6GKZWC4HZOHUQDJUQJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:2GGZFLRV6GKZWC4HZOHUQDJUQJ","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":"373f3f1e808167f2d8b1fe831e477507ef9c301dddef3b95fb1634353b6a6d59","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.SE","submitted_at":"2013-08-12T06:01:14Z","title_canon_sha256":"08e64088b32bad1ea2268d62a298844790d43e0769e9c626fe8a262b4e1917ec"},"schema_version":"1.0","source":{"id":"1308.2468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.2468","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"arxiv_version","alias_value":"1308.2468v1","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.2468","created_at":"2026-05-18T03:16:07Z"},{"alias_kind":"pith_short_12","alias_value":"2GGZFLRV6GKZ","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_16","alias_value":"2GGZFLRV6GKZWC4H","created_at":"2026-05-18T12:27:30Z"},{"alias_kind":"pith_short_8","alias_value":"2GGZFLRV","created_at":"2026-05-18T12:27:30Z"}],"graph_snapshots":[{"event_id":"sha256:f4f233bf8e2dab903420900f7d0c3e383938173cf3472a0e2acd1f2546fc2ffa","target":"graph","created_at":"2026-05-18T03:16:07Z","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":"Precisely and automatically detection of faults in programs, is a software engineering dream. Every effort in this regard takes us one step closer to realizing it. Many efforts have been taken from the people of these areas on testing, verification and debugging. We are proposing such effort for the research community of this domain is using path conditions to generate a minimal set of PLOFC (possible lines of faulty code). It's a run time method that will effectively bring the minimal possible set of faulty lines of code through the help of path conditions and some heuristics involved. In thi","authors_text":"Ayaz Keerio, Safeeullah Soomro, Zahid Hussain","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.SE","submitted_at":"2013-08-12T06:01:14Z","title":"Path Conditions Help to Locate and Localize Faults from Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.2468","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:f7532dc1063aab10478164fb0d49990ef6c04a53d4c2580f0bb2131b7d8833a7","target":"record","created_at":"2026-05-18T03:16:07Z","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":"373f3f1e808167f2d8b1fe831e477507ef9c301dddef3b95fb1634353b6a6d59","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.SE","submitted_at":"2013-08-12T06:01:14Z","title_canon_sha256":"08e64088b32bad1ea2268d62a298844790d43e0769e9c626fe8a262b4e1917ec"},"schema_version":"1.0","source":{"id":"1308.2468","kind":"arxiv","version":1}},"canonical_sha256":"d18d92ae35f1959b0b87cb8f480d348277e9007abf74987dc59bf541b171ac98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d18d92ae35f1959b0b87cb8f480d348277e9007abf74987dc59bf541b171ac98","first_computed_at":"2026-05-18T03:16:07.308407Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:07.308407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qA+qxhWBx5gy2f89cooInERcdyNCUMvm9N04muhYD5ldub6uHKle6T/SkJlXhaFI1/7wh+yaLiv1RQKYa4KjCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:07.308922Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.2468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7532dc1063aab10478164fb0d49990ef6c04a53d4c2580f0bb2131b7d8833a7","sha256:f4f233bf8e2dab903420900f7d0c3e383938173cf3472a0e2acd1f2546fc2ffa"],"state_sha256":"93540aa654855ae2c25cc7e02f0c4c8f3ec29bf683b2b764c734ead7c0a6f22b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MD5ZjgYoHha5yj0gLfQhDbsrX5JdGhTeL6PzPte4OsnTbULsX38tsDGQVtSm0UgAtYGcDkuCwRhFg4Jg/aogBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T08:17:23.746018Z","bundle_sha256":"687e19a2012d743512202079d49110bd07abc945c61d1ec7e879f95235b6fed3"}}