{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KI3PVL4BE3AHHTBF5EKE7IIAQL","short_pith_number":"pith:KI3PVL4B","canonical_record":{"source":{"id":"1908.03707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-10T07:50:33Z","cross_cats_sorted":[],"title_canon_sha256":"bdb581d91ff79f09799dcdd1d87d0a560551dce8a68dbf6d4b1adbdd9a647e7d","abstract_canon_sha256":"1dce269e6ef2b13139f46a2cbca355a788fbaf6494694b39bf05655c46422cdf"},"schema_version":"1.0"},"canonical_sha256":"5236faaf8126c073cc25e9144fa10082ed34401df76b981eda954c9f671c7a1c","source":{"kind":"arxiv","id":"1908.03707","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.03707","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"arxiv_version","alias_value":"1908.03707v1","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.03707","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_12","alias_value":"KI3PVL4BE3AH","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_16","alias_value":"KI3PVL4BE3AHHTBF","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_8","alias_value":"KI3PVL4B","created_at":"2026-07-04T23:53:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KI3PVL4BE3AHHTBF5EKE7IIAQL","target":"record","payload":{"canonical_record":{"source":{"id":"1908.03707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-10T07:50:33Z","cross_cats_sorted":[],"title_canon_sha256":"bdb581d91ff79f09799dcdd1d87d0a560551dce8a68dbf6d4b1adbdd9a647e7d","abstract_canon_sha256":"1dce269e6ef2b13139f46a2cbca355a788fbaf6494694b39bf05655c46422cdf"},"schema_version":"1.0"},"canonical_sha256":"5236faaf8126c073cc25e9144fa10082ed34401df76b981eda954c9f671c7a1c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:53:17.497404Z","signature_b64":"QTPU7X2rdMntGnSwtqeJpxWQCH9xJenyY9Sq1gk+B19l0z6wtU5XzA2uQB8Y61dxJ9WfaWy33O9HfMeEubpqDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5236faaf8126c073cc25e9144fa10082ed34401df76b981eda954c9f671c7a1c","last_reissued_at":"2026-07-04T23:53:17.496964Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:53:17.496964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.03707","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-04T23:53:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yEEb+r44kWreMAKUokVShwlPydBxhs4JU2L5M8MOS4nvaJDcJG9LtAuIBCurULTz3Yi94K5/z8W1HTVkuC4IDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:14:14.373693Z"},"content_sha256":"5e5affe613b1eb113e6b1543e18c5cb8d5ea81df699358107b1becf741b7dc22","schema_version":"1.0","event_id":"sha256:5e5affe613b1eb113e6b1543e18c5cb8d5ea81df699358107b1becf741b7dc22"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KI3PVL4BE3AHHTBF5EKE7IIAQL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mutation Testing for Ethereum Smart Contract","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haoran Wu, Jiehui Xu, Lingming Zhang, Weiqin Zou, Xingya Wang, Zhenyu Chen","submitted_at":"2019-08-10T07:50:33Z","abstract_excerpt":"Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure the correctness of smart contracts before deploying them. This paper proposes a systematic framework to mutation testing for smart contracts on Ethereum, which is currently the most popular open blockchain for deploying and running smart contracts. Fifteen novel mutation operators have been designed for Ethereum Smart Contracts (ESC), in terms of keyword, glob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.03707","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/1908.03707/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-04T23:53:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"banWpTCvmJeoyPkT50O+aTrumE0NzABLhUL5S27J+g/f2IkUx7Bs1d+G327698QfT6mGaQUFaygf38T+C78kAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:14:14.374609Z"},"content_sha256":"0f52472369428f2a11f8fc94f87ef7da8baaacb77a356f49d06b18a20bcac738","schema_version":"1.0","event_id":"sha256:0f52472369428f2a11f8fc94f87ef7da8baaacb77a356f49d06b18a20bcac738"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/bundle.json","state_url":"https://pith.science/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/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-08-16T14:14:14Z","links":{"resolver":"https://pith.science/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL","bundle":"https://pith.science/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/bundle.json","state":"https://pith.science/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KI3PVL4BE3AHHTBF5EKE7IIAQL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KI3PVL4BE3AHHTBF5EKE7IIAQL","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":"1dce269e6ef2b13139f46a2cbca355a788fbaf6494694b39bf05655c46422cdf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-10T07:50:33Z","title_canon_sha256":"bdb581d91ff79f09799dcdd1d87d0a560551dce8a68dbf6d4b1adbdd9a647e7d"},"schema_version":"1.0","source":{"id":"1908.03707","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.03707","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"arxiv_version","alias_value":"1908.03707v1","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.03707","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_12","alias_value":"KI3PVL4BE3AH","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_16","alias_value":"KI3PVL4BE3AHHTBF","created_at":"2026-07-04T23:53:17Z"},{"alias_kind":"pith_short_8","alias_value":"KI3PVL4B","created_at":"2026-07-04T23:53:17Z"}],"graph_snapshots":[{"event_id":"sha256:0f52472369428f2a11f8fc94f87ef7da8baaacb77a356f49d06b18a20bcac738","target":"graph","created_at":"2026-07-04T23:53:17Z","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/1908.03707/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure the correctness of smart contracts before deploying them. This paper proposes a systematic framework to mutation testing for smart contracts on Ethereum, which is currently the most popular open blockchain for deploying and running smart contracts. Fifteen novel mutation operators have been designed for Ethereum Smart Contracts (ESC), in terms of keyword, glob","authors_text":"Haoran Wu, Jiehui Xu, Lingming Zhang, Weiqin Zou, Xingya Wang, Zhenyu Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-10T07:50:33Z","title":"Mutation Testing for Ethereum Smart Contract"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.03707","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:5e5affe613b1eb113e6b1543e18c5cb8d5ea81df699358107b1becf741b7dc22","target":"record","created_at":"2026-07-04T23:53:17Z","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":"1dce269e6ef2b13139f46a2cbca355a788fbaf6494694b39bf05655c46422cdf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-08-10T07:50:33Z","title_canon_sha256":"bdb581d91ff79f09799dcdd1d87d0a560551dce8a68dbf6d4b1adbdd9a647e7d"},"schema_version":"1.0","source":{"id":"1908.03707","kind":"arxiv","version":1}},"canonical_sha256":"5236faaf8126c073cc25e9144fa10082ed34401df76b981eda954c9f671c7a1c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5236faaf8126c073cc25e9144fa10082ed34401df76b981eda954c9f671c7a1c","first_computed_at":"2026-07-04T23:53:17.496964Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:53:17.496964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QTPU7X2rdMntGnSwtqeJpxWQCH9xJenyY9Sq1gk+B19l0z6wtU5XzA2uQB8Y61dxJ9WfaWy33O9HfMeEubpqDA==","signature_status":"signed_v1","signed_at":"2026-07-04T23:53:17.497404Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.03707","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e5affe613b1eb113e6b1543e18c5cb8d5ea81df699358107b1becf741b7dc22","sha256:0f52472369428f2a11f8fc94f87ef7da8baaacb77a356f49d06b18a20bcac738"],"state_sha256":"2626a7173f7381a9b39175aaf44c29d1af2261d76cd614ea7ecb67a6247b1efb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1VyxUOBa1256qd6vuV98hwBcLgMMzc6l3iAL61dINw+PTLfRQW1evzdPQ4Hbp4XiEKyraVV5OoHfd3n+O1F/Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T14:14:14.380390Z","bundle_sha256":"b3dd0db61d6c276674f42ed749cb91368d515bfaf0fbbfb67b7f02ad034938e5"}}