{"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"}