{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5ECAAIWEDNHKHVB44LZHVZZMAX","short_pith_number":"pith:5ECAAIWE","canonical_record":{"source":{"id":"1702.06689","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-22T07:04:08Z","cross_cats_sorted":[],"title_canon_sha256":"cb4f2f3cec83a9c4d7f7d07cc76a7d377efdd0366b71dd4f3f532488c0ad0da4","abstract_canon_sha256":"1fdff29fdc116904acec009c01561001b17bfb3fc1b301cf68bd4d8a16edad13"},"schema_version":"1.0"},"canonical_sha256":"e9040022c41b4ea3d43ce2f27ae72c05c2de6b27520347a058ad13fde605f76a","source":{"kind":"arxiv","id":"1702.06689","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06689","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06689v1","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06689","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"pith_short_12","alias_value":"5ECAAIWEDNHK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5ECAAIWEDNHKHVB4","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5ECAAIWE","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5ECAAIWEDNHKHVB44LZHVZZMAX","target":"record","payload":{"canonical_record":{"source":{"id":"1702.06689","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-22T07:04:08Z","cross_cats_sorted":[],"title_canon_sha256":"cb4f2f3cec83a9c4d7f7d07cc76a7d377efdd0366b71dd4f3f532488c0ad0da4","abstract_canon_sha256":"1fdff29fdc116904acec009c01561001b17bfb3fc1b301cf68bd4d8a16edad13"},"schema_version":"1.0"},"canonical_sha256":"e9040022c41b4ea3d43ce2f27ae72c05c2de6b27520347a058ad13fde605f76a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:12.940251Z","signature_b64":"TDkhLbicddhd0BWFH3XYmSl8U8skzeuId1TOsbIWRz24hPBzmix2lpG2qvyoBap5rcq/NKkLIYw1QOLK5z8+DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9040022c41b4ea3d43ce2f27ae72c05c2de6b27520347a058ad13fde605f76a","last_reissued_at":"2026-05-18T00:50:12.939818Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:12.939818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.06689","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-18T00:50:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2fv2Uy79v78FybsBxC7FFwsjJ0fIGgDj0hYkP3eq0TvRYxQGiMpcAwqw4ZniDHBhpo5Y/yM2ui3OVBEmyzlCDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:06:55.204959Z"},"content_sha256":"2c8bbb2d0e602b1d305cf1addf33ab1021843c460992bbf677b283f4de29a670","schema_version":"1.0","event_id":"sha256:2c8bbb2d0e602b1d305cf1addf33ab1021843c460992bbf677b283f4de29a670"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5ECAAIWEDNHKHVB44LZHVZZMAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faster Mutation Analysis via Equivalence Modulo States","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bo Wang, Dan Hao, Lu Zhang, Yangqingwei Shi, Yingfei Xiong","submitted_at":"2017-02-22T07:04:08Z","abstract_excerpt":"Mutation analysis has many applications, such as asserting the quality of test suites and localizing faults. One important bottleneck of mutation analysis is scalability. The latest work explores the possibility of reducing the redundant execution via split-stream execution. However, split-stream execution is only able to remove redundant execution before the first mutated statement.\n  In this paper we try to also reduce some of the redundant execution after the execution of the first mutated statement. We observe that, although many mutated statements are not equivalent, the execution result "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06689","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-18T00:50:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X4IgdstbVlcQx9OnGqqwlVh9oqKf+I2gmsmbvHB9yXoHK3B8Ro4qRBIAERJj6xFGpf+sf2ErMTW9GGxaGfYfDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:06:55.205309Z"},"content_sha256":"88cbb929384a921c0ff41a2a05348476ef2dc1ae70ea5d3aa260eca699878764","schema_version":"1.0","event_id":"sha256:88cbb929384a921c0ff41a2a05348476ef2dc1ae70ea5d3aa260eca699878764"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/bundle.json","state_url":"https://pith.science/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/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-05-30T05:06:55Z","links":{"resolver":"https://pith.science/pith/5ECAAIWEDNHKHVB44LZHVZZMAX","bundle":"https://pith.science/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/bundle.json","state":"https://pith.science/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5ECAAIWEDNHKHVB44LZHVZZMAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5ECAAIWEDNHKHVB44LZHVZZMAX","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":"1fdff29fdc116904acec009c01561001b17bfb3fc1b301cf68bd4d8a16edad13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-22T07:04:08Z","title_canon_sha256":"cb4f2f3cec83a9c4d7f7d07cc76a7d377efdd0366b71dd4f3f532488c0ad0da4"},"schema_version":"1.0","source":{"id":"1702.06689","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.06689","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"arxiv_version","alias_value":"1702.06689v1","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.06689","created_at":"2026-05-18T00:50:12Z"},{"alias_kind":"pith_short_12","alias_value":"5ECAAIWEDNHK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5ECAAIWEDNHKHVB4","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5ECAAIWE","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:88cbb929384a921c0ff41a2a05348476ef2dc1ae70ea5d3aa260eca699878764","target":"graph","created_at":"2026-05-18T00:50:12Z","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":"Mutation analysis has many applications, such as asserting the quality of test suites and localizing faults. One important bottleneck of mutation analysis is scalability. The latest work explores the possibility of reducing the redundant execution via split-stream execution. However, split-stream execution is only able to remove redundant execution before the first mutated statement.\n  In this paper we try to also reduce some of the redundant execution after the execution of the first mutated statement. We observe that, although many mutated statements are not equivalent, the execution result ","authors_text":"Bo Wang, Dan Hao, Lu Zhang, Yangqingwei Shi, Yingfei Xiong","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-22T07:04:08Z","title":"Faster Mutation Analysis via Equivalence Modulo States"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.06689","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:2c8bbb2d0e602b1d305cf1addf33ab1021843c460992bbf677b283f4de29a670","target":"record","created_at":"2026-05-18T00:50:12Z","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":"1fdff29fdc116904acec009c01561001b17bfb3fc1b301cf68bd4d8a16edad13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-02-22T07:04:08Z","title_canon_sha256":"cb4f2f3cec83a9c4d7f7d07cc76a7d377efdd0366b71dd4f3f532488c0ad0da4"},"schema_version":"1.0","source":{"id":"1702.06689","kind":"arxiv","version":1}},"canonical_sha256":"e9040022c41b4ea3d43ce2f27ae72c05c2de6b27520347a058ad13fde605f76a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9040022c41b4ea3d43ce2f27ae72c05c2de6b27520347a058ad13fde605f76a","first_computed_at":"2026-05-18T00:50:12.939818Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:12.939818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TDkhLbicddhd0BWFH3XYmSl8U8skzeuId1TOsbIWRz24hPBzmix2lpG2qvyoBap5rcq/NKkLIYw1QOLK5z8+DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:12.940251Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.06689","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2c8bbb2d0e602b1d305cf1addf33ab1021843c460992bbf677b283f4de29a670","sha256:88cbb929384a921c0ff41a2a05348476ef2dc1ae70ea5d3aa260eca699878764"],"state_sha256":"a47e0fa3fe4485222f7d29790a63d28d71d111cd72cf3b0db94a40956260c3f5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fxaBQGC+WUn3wi3AbMR0K/2DzHyhP67bvIYOtcdzAiPR77/HtiwZhp304Ib27COlKR8aSpKHN2MxUMfMUMUtCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:06:55.207410Z","bundle_sha256":"a21c4222fe3850a01e95394f55eb4e7c0102e6aa9ba01543a0e5e1d17428c68a"}}