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