{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WPVJ4X3YKEDSTXEMR2PFFL7LZS","short_pith_number":"pith:WPVJ4X3Y","canonical_record":{"source":{"id":"1803.10431","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-28T07:15:11Z","cross_cats_sorted":[],"title_canon_sha256":"4dd1e29ef2f2c4480baa32259543060eb8bd0769b098b23b906ba3797b30d16d","abstract_canon_sha256":"edcc5fcd501f80c3e0d77abe770d7de6d3f939a44fbb1bf90080b1326b04f636"},"schema_version":"1.0"},"canonical_sha256":"b3ea9e5f78510729dc8c8e9e52afebcca70fd46f25cfbfde1dbfe1110a50c570","source":{"kind":"arxiv","id":"1803.10431","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10431","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10431v2","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10431","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"pith_short_12","alias_value":"WPVJ4X3YKEDS","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WPVJ4X3YKEDSTXEM","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WPVJ4X3Y","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WPVJ4X3YKEDSTXEMR2PFFL7LZS","target":"record","payload":{"canonical_record":{"source":{"id":"1803.10431","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-28T07:15:11Z","cross_cats_sorted":[],"title_canon_sha256":"4dd1e29ef2f2c4480baa32259543060eb8bd0769b098b23b906ba3797b30d16d","abstract_canon_sha256":"edcc5fcd501f80c3e0d77abe770d7de6d3f939a44fbb1bf90080b1326b04f636"},"schema_version":"1.0"},"canonical_sha256":"b3ea9e5f78510729dc8c8e9e52afebcca70fd46f25cfbfde1dbfe1110a50c570","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:52.976025Z","signature_b64":"bZOC8U4Tnz+uSiZ8eal5kh/0HmU2HxAF1FkSdQaqrbUqcrQE4MafI2CPOM6/6FBzKKt+7uGZbCO4PDz5P9toBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3ea9e5f78510729dc8c8e9e52afebcca70fd46f25cfbfde1dbfe1110a50c570","last_reissued_at":"2026-05-17T23:49:52.975651Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:52.975651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.10431","source_version":2,"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-17T23:49:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n3KX+sZgBkW79uPMhjcJ3eQo+YE2Yq/nFiAxj/eq1vOMj845hP+KMFCjZuiK4I/3joWspkRQlORa8fMo6Q8yDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:27:47.498523Z"},"content_sha256":"5545e276e959bc17c85b237d9d2aca645b6ae2cdce6e6956718181c10f7399cf","schema_version":"1.0","event_id":"sha256:5545e276e959bc17c85b237d9d2aca645b6ae2cdce6e6956718181c10f7399cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WPVJ4X3YKEDSTXEMR2PFFL7LZS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Efficient Data-flow Test Data Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chengyu Zhang, Geguang Pu, Lingling Fan, Ting Su, Yang Liu, Yichen Yan, Zhendong Su, Zhoulai Fu","submitted_at":"2018-03-28T07:15:11Z","abstract_excerpt":"Data-flow testing (DFT) aims to detect potential data interaction anomalies by focusing on the points at which variables receive values and the points at which these values are used. Such test objectives are referred as \\emph{def-use pairs}. However, the complexity of DFT still overwhelms the testers in practice. To tackle this problem, we introduce a hybrid testing framework for data-flow based test generation: (1) The core of our framework is symbolic execution (SE), enhanced by a novel guided path exploration strategy to improve testing performance; and (2) we systematically cast DFT as rea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10431","kind":"arxiv","version":2},"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-17T23:49:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yCVBB2wP47vGYzEUpg3NEqf1w+HMUwOOPbAZC0g9XqBs2zEwHn/vAn+eVx7Ez5b5GMsdVXd6v/P1vQpE+8mkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T15:27:47.499176Z"},"content_sha256":"2d91e2090746891aae8358c872320373fe659e0de6358d1ea419aec5f69ebf67","schema_version":"1.0","event_id":"sha256:2d91e2090746891aae8358c872320373fe659e0de6358d1ea419aec5f69ebf67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/bundle.json","state_url":"https://pith.science/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/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-30T15:27:47Z","links":{"resolver":"https://pith.science/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS","bundle":"https://pith.science/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/bundle.json","state":"https://pith.science/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WPVJ4X3YKEDSTXEMR2PFFL7LZS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WPVJ4X3YKEDSTXEMR2PFFL7LZS","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":"edcc5fcd501f80c3e0d77abe770d7de6d3f939a44fbb1bf90080b1326b04f636","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-28T07:15:11Z","title_canon_sha256":"4dd1e29ef2f2c4480baa32259543060eb8bd0769b098b23b906ba3797b30d16d"},"schema_version":"1.0","source":{"id":"1803.10431","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.10431","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"arxiv_version","alias_value":"1803.10431v2","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.10431","created_at":"2026-05-17T23:49:52Z"},{"alias_kind":"pith_short_12","alias_value":"WPVJ4X3YKEDS","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WPVJ4X3YKEDSTXEM","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WPVJ4X3Y","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:2d91e2090746891aae8358c872320373fe659e0de6358d1ea419aec5f69ebf67","target":"graph","created_at":"2026-05-17T23:49:52Z","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":"Data-flow testing (DFT) aims to detect potential data interaction anomalies by focusing on the points at which variables receive values and the points at which these values are used. Such test objectives are referred as \\emph{def-use pairs}. However, the complexity of DFT still overwhelms the testers in practice. To tackle this problem, we introduce a hybrid testing framework for data-flow based test generation: (1) The core of our framework is symbolic execution (SE), enhanced by a novel guided path exploration strategy to improve testing performance; and (2) we systematically cast DFT as rea","authors_text":"Chengyu Zhang, Geguang Pu, Lingling Fan, Ting Su, Yang Liu, Yichen Yan, Zhendong Su, Zhoulai Fu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-28T07:15:11Z","title":"Towards Efficient Data-flow Test Data Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.10431","kind":"arxiv","version":2},"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:5545e276e959bc17c85b237d9d2aca645b6ae2cdce6e6956718181c10f7399cf","target":"record","created_at":"2026-05-17T23:49:52Z","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":"edcc5fcd501f80c3e0d77abe770d7de6d3f939a44fbb1bf90080b1326b04f636","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-03-28T07:15:11Z","title_canon_sha256":"4dd1e29ef2f2c4480baa32259543060eb8bd0769b098b23b906ba3797b30d16d"},"schema_version":"1.0","source":{"id":"1803.10431","kind":"arxiv","version":2}},"canonical_sha256":"b3ea9e5f78510729dc8c8e9e52afebcca70fd46f25cfbfde1dbfe1110a50c570","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3ea9e5f78510729dc8c8e9e52afebcca70fd46f25cfbfde1dbfe1110a50c570","first_computed_at":"2026-05-17T23:49:52.975651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:49:52.975651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bZOC8U4Tnz+uSiZ8eal5kh/0HmU2HxAF1FkSdQaqrbUqcrQE4MafI2CPOM6/6FBzKKt+7uGZbCO4PDz5P9toBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:49:52.976025Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.10431","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5545e276e959bc17c85b237d9d2aca645b6ae2cdce6e6956718181c10f7399cf","sha256:2d91e2090746891aae8358c872320373fe659e0de6358d1ea419aec5f69ebf67"],"state_sha256":"e2e6f611c3906d489e87b9e8a8daa79ae1cef3e89d0e3d5333474d1aef9e6870"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G60HMJCSDDNsaoNtBVYVrbnZfinu1LKX/5N2hGP7OLwujgkW2UqaU6KPU0IKseXax3DZlxJl3jSLF/ODYhxeDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T15:27:47.502868Z","bundle_sha256":"25769feb780d5de0981354034c83e4d0f5848891fc3b7ccc8ab6ed1e8d4468a1"}}