{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:YPE5IFSXB7WSODTCYWVLK3CQ52","short_pith_number":"pith:YPE5IFSX","canonical_record":{"source":{"id":"2208.07935","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-16T20:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"9bf5ddd7f43f7821bdbd6edc4d0e23de57427061a2343f45ade19a223344e94c","abstract_canon_sha256":"b20854a3cfcf9195d153e2377a91c6ed3d0e69d055f02972cb0fc7bd31279795"},"schema_version":"1.0"},"canonical_sha256":"c3c9d416570fed270e62c5aab56c50ee9d40e7331a8781575032149f97cbee2d","source":{"kind":"arxiv","id":"2208.07935","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.07935","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"arxiv_version","alias_value":"2208.07935v3","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.07935","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_12","alias_value":"YPE5IFSXB7WS","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_16","alias_value":"YPE5IFSXB7WSODTC","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_8","alias_value":"YPE5IFSX","created_at":"2026-07-05T06:59:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:YPE5IFSXB7WSODTCYWVLK3CQ52","target":"record","payload":{"canonical_record":{"source":{"id":"2208.07935","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-16T20:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"9bf5ddd7f43f7821bdbd6edc4d0e23de57427061a2343f45ade19a223344e94c","abstract_canon_sha256":"b20854a3cfcf9195d153e2377a91c6ed3d0e69d055f02972cb0fc7bd31279795"},"schema_version":"1.0"},"canonical_sha256":"c3c9d416570fed270e62c5aab56c50ee9d40e7331a8781575032149f97cbee2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:59:27.692839Z","signature_b64":"FZg1qeHBOacvagFfE6sogoPLnWV7Dwj/1ohNuum66Xp3XSaHsWR15KWuxrGP/lVJJ6Qo6kHtLnue5Znpmx2QAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3c9d416570fed270e62c5aab56c50ee9d40e7331a8781575032149f97cbee2d","last_reissued_at":"2026-07-05T06:59:27.692430Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:59:27.692430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2208.07935","source_version":3,"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-07-05T06:59:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pn+kvws3wBK2BYzvWlzUrZkYGPHpyZ03p2pP5xFESmeqC+DXZI+6YoN155NmO6PJdgh/WiREEugHXSLoCdFwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T19:54:39.932276Z"},"content_sha256":"b6d13926dd74105ed6b26aeaf8f4a0b56a48ef233771b297e710f034ed93b2df","schema_version":"1.0","event_id":"sha256:b6d13926dd74105ed6b26aeaf8f4a0b56a48ef233771b297e710f034ed93b2df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:YPE5IFSXB7WSODTCYWVLK3CQ52","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Kizito Salako, Xingyu Zhao","submitted_at":"2022-08-16T20:27:47Z","abstract_excerpt":"This paper presents Bayesian techniques for conservative claims about software reliability, particularly when evidence suggests the software's executions are not statistically independent. We formalise informal notions of \"doubting\" that the executions are independent, and incorporate such doubts into reliability assessments. We develop techniques that reveal the extent to which independence assumptions can undermine conservatism in assessments, and identify conditions under which this impact is not significant. These techniques - novel extensions of conservative Bayesian inference (CBI) appro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.07935","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.07935/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:59:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gQQOqyopd62ZILpvZ/U81hx7mrsJu2y6eq6WzREQr8bYauhz6sTmXpqLTkJXgYTpxhDe81RfyQgF7rquVhstCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-12T19:54:39.932939Z"},"content_sha256":"f2c377be28c63d8025e37963191043992606f4655df9eb85a7c4e2e92779a854","schema_version":"1.0","event_id":"sha256:f2c377be28c63d8025e37963191043992606f4655df9eb85a7c4e2e92779a854"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/bundle.json","state_url":"https://pith.science/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/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-12T19:54:39Z","links":{"resolver":"https://pith.science/pith/YPE5IFSXB7WSODTCYWVLK3CQ52","bundle":"https://pith.science/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/bundle.json","state":"https://pith.science/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YPE5IFSXB7WSODTCYWVLK3CQ52/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:YPE5IFSXB7WSODTCYWVLK3CQ52","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":"b20854a3cfcf9195d153e2377a91c6ed3d0e69d055f02972cb0fc7bd31279795","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-16T20:27:47Z","title_canon_sha256":"9bf5ddd7f43f7821bdbd6edc4d0e23de57427061a2343f45ade19a223344e94c"},"schema_version":"1.0","source":{"id":"2208.07935","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2208.07935","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"arxiv_version","alias_value":"2208.07935v3","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.07935","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_12","alias_value":"YPE5IFSXB7WS","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_16","alias_value":"YPE5IFSXB7WSODTC","created_at":"2026-07-05T06:59:27Z"},{"alias_kind":"pith_short_8","alias_value":"YPE5IFSX","created_at":"2026-07-05T06:59:27Z"}],"graph_snapshots":[{"event_id":"sha256:f2c377be28c63d8025e37963191043992606f4655df9eb85a7c4e2e92779a854","target":"graph","created_at":"2026-07-05T06:59:27Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2208.07935/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents Bayesian techniques for conservative claims about software reliability, particularly when evidence suggests the software's executions are not statistically independent. We formalise informal notions of \"doubting\" that the executions are independent, and incorporate such doubts into reliability assessments. We develop techniques that reveal the extent to which independence assumptions can undermine conservatism in assessments, and identify conditions under which this impact is not significant. These techniques - novel extensions of conservative Bayesian inference (CBI) appro","authors_text":"Kizito Salako, Xingyu Zhao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-16T20:27:47Z","title":"Demonstrating Software Reliability using Possibly Correlated Tests: Insights from a Conservative Bayesian Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.07935","kind":"arxiv","version":3},"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:b6d13926dd74105ed6b26aeaf8f4a0b56a48ef233771b297e710f034ed93b2df","target":"record","created_at":"2026-07-05T06:59:27Z","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":"b20854a3cfcf9195d153e2377a91c6ed3d0e69d055f02972cb0fc7bd31279795","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-08-16T20:27:47Z","title_canon_sha256":"9bf5ddd7f43f7821bdbd6edc4d0e23de57427061a2343f45ade19a223344e94c"},"schema_version":"1.0","source":{"id":"2208.07935","kind":"arxiv","version":3}},"canonical_sha256":"c3c9d416570fed270e62c5aab56c50ee9d40e7331a8781575032149f97cbee2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3c9d416570fed270e62c5aab56c50ee9d40e7331a8781575032149f97cbee2d","first_computed_at":"2026-07-05T06:59:27.692430Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:59:27.692430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FZg1qeHBOacvagFfE6sogoPLnWV7Dwj/1ohNuum66Xp3XSaHsWR15KWuxrGP/lVJJ6Qo6kHtLnue5Znpmx2QAA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:59:27.692839Z","signed_message":"canonical_sha256_bytes"},"source_id":"2208.07935","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6d13926dd74105ed6b26aeaf8f4a0b56a48ef233771b297e710f034ed93b2df","sha256:f2c377be28c63d8025e37963191043992606f4655df9eb85a7c4e2e92779a854"],"state_sha256":"08386d6297d764387335dfad3b0eb8a4fc77c59258cd7541113799a373745383"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JInJNzkiTdTic1/rfsILDSH3Pu4vcYx/MmARatyC0g2Bs9RY7eBcaX7X2ixyLe2DG14BrEB8mpd6nrOU2PTBAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-12T19:54:39.936580Z","bundle_sha256":"782e73840c0f2b518379f51fcfe95f6b5995afc97edc8dc15f24adcfa1597054"}}