{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:NNPNZ2S4RDO3B6GVPMJWH64QWG","short_pith_number":"pith:NNPNZ2S4","canonical_record":{"source":{"id":"2206.13828","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-28T08:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"5efeef2d466dfc345beabb8b71a72260f4c4814cd9ed3e39d264fe17dbe42e01","abstract_canon_sha256":"07a3c02da52d19357ad65e5662e7760dff33caa4417113d00624af66d58e6d37"},"schema_version":"1.0"},"canonical_sha256":"6b5edcea5c88ddb0f8d57b1363fb90b1a372af919b87a72dd9b790e1431572d8","source":{"kind":"arxiv","id":"2206.13828","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.13828","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"arxiv_version","alias_value":"2206.13828v1","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.13828","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_12","alias_value":"NNPNZ2S4RDO3","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_16","alias_value":"NNPNZ2S4RDO3B6GV","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_8","alias_value":"NNPNZ2S4","created_at":"2026-07-05T04:35:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:NNPNZ2S4RDO3B6GVPMJWH64QWG","target":"record","payload":{"canonical_record":{"source":{"id":"2206.13828","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-28T08:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"5efeef2d466dfc345beabb8b71a72260f4c4814cd9ed3e39d264fe17dbe42e01","abstract_canon_sha256":"07a3c02da52d19357ad65e5662e7760dff33caa4417113d00624af66d58e6d37"},"schema_version":"1.0"},"canonical_sha256":"6b5edcea5c88ddb0f8d57b1363fb90b1a372af919b87a72dd9b790e1431572d8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:35:25.859799Z","signature_b64":"u2LRQWv01t1aLk8lPaNi0OQCHDAnOCQwSF9cslVQ7z83J3qyqhqv3lRPK0X27hSXUuOTh7sWX3unhShwfMqDDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b5edcea5c88ddb0f8d57b1363fb90b1a372af919b87a72dd9b790e1431572d8","last_reissued_at":"2026-07-05T04:35:25.859302Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:35:25.859302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.13828","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-05T04:35:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nMavbxhcw6pal9alqyMJ3dfVlSEd/VB3yEb3cnzzU11XslFISTGwTvXqk+D8AA2N3vjW2RcJtzpk00VwkgmoBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:41:06.569001Z"},"content_sha256":"6e84e8c69f0610ec3bb412588a5dc743da5e129cf3c0195950444b5dd06a4ed9","schema_version":"1.0","event_id":"sha256:6e84e8c69f0610ec3bb412588a5dc743da5e129cf3c0195950444b5dd06a4ed9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:NNPNZ2S4RDO3B6GVPMJWH64QWG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Baoquan Cui, Jian Zhang, Jiwen Yan, Jun Yan, Xin Zhang, Xutong Ma","submitted_at":"2022-06-28T08:47:33Z","abstract_excerpt":"Modern Python projects execute computational functions using native libraries and give Python interfaces to boost execution speed; hence, testing these libraries becomes critical to the project's robustness. One challenge is that existing approaches use coverage to guide generation, but native libraries run as black boxes to Python code with no execution information. Another is that dynamic binary instrumentation reduces testing performance as it needs to monitor both native libraries and the Python virtual machine.\n  To address these challenges, in this paper, we propose an automated test cas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.13828","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/2206.13828/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-05T04:35:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9rKooM/aVixPpLRwMhu+6jUIGWVq6T+SdqcHRzXk0btMfbqQn0LgVGj5PiIYJphLXeR/qmgGR3cxyZlV5QpxBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T09:41:06.569404Z"},"content_sha256":"1b125064c9950b3dabdbd9f66d94c6edd4960559f353eb7adebb3cc3ba56928a","schema_version":"1.0","event_id":"sha256:1b125064c9950b3dabdbd9f66d94c6edd4960559f353eb7adebb3cc3ba56928a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/bundle.json","state_url":"https://pith.science/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/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-07-07T09:41:06Z","links":{"resolver":"https://pith.science/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG","bundle":"https://pith.science/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/bundle.json","state":"https://pith.science/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NNPNZ2S4RDO3B6GVPMJWH64QWG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:NNPNZ2S4RDO3B6GVPMJWH64QWG","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":"07a3c02da52d19357ad65e5662e7760dff33caa4417113d00624af66d58e6d37","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-28T08:47:33Z","title_canon_sha256":"5efeef2d466dfc345beabb8b71a72260f4c4814cd9ed3e39d264fe17dbe42e01"},"schema_version":"1.0","source":{"id":"2206.13828","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.13828","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"arxiv_version","alias_value":"2206.13828v1","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.13828","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_12","alias_value":"NNPNZ2S4RDO3","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_16","alias_value":"NNPNZ2S4RDO3B6GV","created_at":"2026-07-05T04:35:25Z"},{"alias_kind":"pith_short_8","alias_value":"NNPNZ2S4","created_at":"2026-07-05T04:35:25Z"}],"graph_snapshots":[{"event_id":"sha256:1b125064c9950b3dabdbd9f66d94c6edd4960559f353eb7adebb3cc3ba56928a","target":"graph","created_at":"2026-07-05T04:35:25Z","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/2206.13828/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern Python projects execute computational functions using native libraries and give Python interfaces to boost execution speed; hence, testing these libraries becomes critical to the project's robustness. One challenge is that existing approaches use coverage to guide generation, but native libraries run as black boxes to Python code with no execution information. Another is that dynamic binary instrumentation reduces testing performance as it needs to monitor both native libraries and the Python virtual machine.\n  To address these challenges, in this paper, we propose an automated test cas","authors_text":"Baoquan Cui, Jian Zhang, Jiwen Yan, Jun Yan, Xin Zhang, Xutong Ma","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-28T08:47:33Z","title":"Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.13828","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:6e84e8c69f0610ec3bb412588a5dc743da5e129cf3c0195950444b5dd06a4ed9","target":"record","created_at":"2026-07-05T04:35:25Z","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":"07a3c02da52d19357ad65e5662e7760dff33caa4417113d00624af66d58e6d37","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2022-06-28T08:47:33Z","title_canon_sha256":"5efeef2d466dfc345beabb8b71a72260f4c4814cd9ed3e39d264fe17dbe42e01"},"schema_version":"1.0","source":{"id":"2206.13828","kind":"arxiv","version":1}},"canonical_sha256":"6b5edcea5c88ddb0f8d57b1363fb90b1a372af919b87a72dd9b790e1431572d8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b5edcea5c88ddb0f8d57b1363fb90b1a372af919b87a72dd9b790e1431572d8","first_computed_at":"2026-07-05T04:35:25.859302Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:35:25.859302Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u2LRQWv01t1aLk8lPaNi0OQCHDAnOCQwSF9cslVQ7z83J3qyqhqv3lRPK0X27hSXUuOTh7sWX3unhShwfMqDDg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:35:25.859799Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.13828","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e84e8c69f0610ec3bb412588a5dc743da5e129cf3c0195950444b5dd06a4ed9","sha256:1b125064c9950b3dabdbd9f66d94c6edd4960559f353eb7adebb3cc3ba56928a"],"state_sha256":"5ba4d14e1296d68caaa7d728f52b5071da3773f13547e0b0626d9e23d277761c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vm69Q5cJ9CzYZjRfYUF6wNSqvC6qLJDUVQ1/I0e7N16iu4KJKY7gF3AHewAIKbR/pamOESKk9OYw8PgLFcjECw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T09:41:06.571417Z","bundle_sha256":"d38c79962c67bb0dde5ce3cdf48273ff5f15b77b349c18967213b2e66e2ca600"}}