{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5SKRWKLEBG2BSYMMJWHOMN4B4S","short_pith_number":"pith:5SKRWKLE","canonical_record":{"source":{"id":"1911.10471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-24T08:27:42Z","cross_cats_sorted":[],"title_canon_sha256":"7db4628de2f89b59648d57389fd3315936e0fb6b998b686ae2bc1f0d7cd4eccd","abstract_canon_sha256":"741f608caa76b0ec9783d647f6930ed6ab775e22f52850a309af0b2426fbb3c2"},"schema_version":"1.0"},"canonical_sha256":"ec951b296409b419618c4d8ee63781e4aa1ac3b1c4a6416b0e2f23bd996acb42","source":{"kind":"arxiv","id":"1911.10471","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.10471","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"arxiv_version","alias_value":"1911.10471v1","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.10471","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_12","alias_value":"5SKRWKLEBG2B","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_16","alias_value":"5SKRWKLEBG2BSYMM","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_8","alias_value":"5SKRWKLE","created_at":"2026-07-05T00:21:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5SKRWKLEBG2BSYMMJWHOMN4B4S","target":"record","payload":{"canonical_record":{"source":{"id":"1911.10471","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-24T08:27:42Z","cross_cats_sorted":[],"title_canon_sha256":"7db4628de2f89b59648d57389fd3315936e0fb6b998b686ae2bc1f0d7cd4eccd","abstract_canon_sha256":"741f608caa76b0ec9783d647f6930ed6ab775e22f52850a309af0b2426fbb3c2"},"schema_version":"1.0"},"canonical_sha256":"ec951b296409b419618c4d8ee63781e4aa1ac3b1c4a6416b0e2f23bd996acb42","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:21:40.474253Z","signature_b64":"XbKFQNsl009i9+PkbA86C0mqtQfwFJ4p4AH3SeMtghUbwZ0r+QNuEZhvU8N7UYJ6Yg7bYCSuYxiuEHxX+hehDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec951b296409b419618c4d8ee63781e4aa1ac3b1c4a6416b0e2f23bd996acb42","last_reissued_at":"2026-07-05T00:21:40.473854Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:21:40.473854Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1911.10471","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-07-05T00:21:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mdQ9S+KL/G59Tk6onVhCtcESynQ8/RTq7qm0XcK7LEzMonu2RXN/OK95zJXV/g5wQDcWNaB2pISWXk6TjJnFBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T03:02:36.830695Z"},"content_sha256":"69ed88378f70a9aa9125bf6011f608dc84082d52947045cfa8a7b3b0f07f8b55","schema_version":"1.0","event_id":"sha256:69ed88378f70a9aa9125bf6011f608dc84082d52947045cfa8a7b3b0f07f8b55"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5SKRWKLEBG2BSYMMJWHOMN4B4S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Basis Path Coverage Criteria for Smart Contract Application Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gansen Zhao, Jiahao He, Nie Ruihua, Xinming Wang, Zhijian Xie","submitted_at":"2019-11-24T08:27:42Z","abstract_excerpt":"The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a state-changing transaction is confirmed by the network, the result is immutable. For this reason, it is crucial to perform a thorough testing of a smart contract application before its deployment. This paper's focus is on the test coverage criteria for smart contracts, which are objective rules that measure test quality. We analyze the unique characteristics of the Ether"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.10471","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1911.10471/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-05T00:21:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fRJ/K9imqkkUVo0SdYjCxoJYkpfHKU+EGtTJwbX50vHtS3UjJG412gBkvF+GYlCNLaKAzi2rzcoI/pc/pKY7Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T03:02:36.831071Z"},"content_sha256":"bbb4ccf5f545f98d363264708f77d3e34a2973792fdc2d711d4d41d2539d7d0e","schema_version":"1.0","event_id":"sha256:bbb4ccf5f545f98d363264708f77d3e34a2973792fdc2d711d4d41d2539d7d0e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/bundle.json","state_url":"https://pith.science/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/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-22T03:02:36Z","links":{"resolver":"https://pith.science/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S","bundle":"https://pith.science/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/bundle.json","state":"https://pith.science/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5SKRWKLEBG2BSYMMJWHOMN4B4S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5SKRWKLEBG2BSYMMJWHOMN4B4S","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":"741f608caa76b0ec9783d647f6930ed6ab775e22f52850a309af0b2426fbb3c2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-24T08:27:42Z","title_canon_sha256":"7db4628de2f89b59648d57389fd3315936e0fb6b998b686ae2bc1f0d7cd4eccd"},"schema_version":"1.0","source":{"id":"1911.10471","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1911.10471","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"arxiv_version","alias_value":"1911.10471v1","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.10471","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_12","alias_value":"5SKRWKLEBG2B","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_16","alias_value":"5SKRWKLEBG2BSYMM","created_at":"2026-07-05T00:21:40Z"},{"alias_kind":"pith_short_8","alias_value":"5SKRWKLE","created_at":"2026-07-05T00:21:40Z"}],"graph_snapshots":[{"event_id":"sha256:bbb4ccf5f545f98d363264708f77d3e34a2973792fdc2d711d4d41d2539d7d0e","target":"graph","created_at":"2026-07-05T00:21:40Z","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/1911.10471/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a state-changing transaction is confirmed by the network, the result is immutable. For this reason, it is crucial to perform a thorough testing of a smart contract application before its deployment. This paper's focus is on the test coverage criteria for smart contracts, which are objective rules that measure test quality. We analyze the unique characteristics of the Ether","authors_text":"Gansen Zhao, Jiahao He, Nie Ruihua, Xinming Wang, Zhijian Xie","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-24T08:27:42Z","title":"Basis Path Coverage Criteria for Smart Contract Application Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.10471","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:69ed88378f70a9aa9125bf6011f608dc84082d52947045cfa8a7b3b0f07f8b55","target":"record","created_at":"2026-07-05T00:21:40Z","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":"741f608caa76b0ec9783d647f6930ed6ab775e22f52850a309af0b2426fbb3c2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-24T08:27:42Z","title_canon_sha256":"7db4628de2f89b59648d57389fd3315936e0fb6b998b686ae2bc1f0d7cd4eccd"},"schema_version":"1.0","source":{"id":"1911.10471","kind":"arxiv","version":1}},"canonical_sha256":"ec951b296409b419618c4d8ee63781e4aa1ac3b1c4a6416b0e2f23bd996acb42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec951b296409b419618c4d8ee63781e4aa1ac3b1c4a6416b0e2f23bd996acb42","first_computed_at":"2026-07-05T00:21:40.473854Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:21:40.473854Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XbKFQNsl009i9+PkbA86C0mqtQfwFJ4p4AH3SeMtghUbwZ0r+QNuEZhvU8N7UYJ6Yg7bYCSuYxiuEHxX+hehDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:21:40.474253Z","signed_message":"canonical_sha256_bytes"},"source_id":"1911.10471","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69ed88378f70a9aa9125bf6011f608dc84082d52947045cfa8a7b3b0f07f8b55","sha256:bbb4ccf5f545f98d363264708f77d3e34a2973792fdc2d711d4d41d2539d7d0e"],"state_sha256":"7bfe6b8ec7dab3bade73acd7eecd2150e52b9608cca9b477d39f73f73a87c1c5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vEcJk732emvYJdQkrze2RwshJ1RSRwy7nHyZgjAkeLZv0b6Sz7z6cLNpxnFGWdK6y7vVsz0H7vVQ/KN8AIw3Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-22T03:02:36.833159Z","bundle_sha256":"4018b7cabac3aacdf3a2941fa83771c8a6b253e9f205c8de3706c6b3a5cb85de"}}