{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OID67OFQMBA45QQDOJZIUKPRE2","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":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87"},"schema_version":"1.0","source":{"id":"2509.08524","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08524v1","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"OID67OFQMBA4","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_16","alias_value":"OID67OFQMBA45QQD","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_8","alias_value":"OID67OFQ","created_at":"2026-07-05T12:08:31Z"}],"graph_snapshots":[{"event_id":"sha256:4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623","target":"graph","created_at":"2026-07-05T12:08:31Z","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/2509.08524/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context, expensive SMT solvers, or manual intervention to approximate these functions through symbolic stubs. In this work, we propose a novel approach to automatically generate symbolic stubs for external functions during symbolic execution that leverages Genetic Programming. When the symbolic executor encounters an external function, AutoStub generates training data by e","authors_text":"Felix M\\\"achtle, Jan-Niclas Serr, Jonas Sander, Nils Loose, Thomas Eisenbarth","cross_cats":["cs.AI","cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08524","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:7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7","target":"record","created_at":"2026-07-05T12:08:31Z","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":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87"},"schema_version":"1.0","source":{"id":"2509.08524","kind":"arxiv","version":1}},"canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","first_computed_at":"2026-07-05T12:08:31.723795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:31.723795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g59heuRnjz/MkL7lQFO9IHfnZJMfV/s75nLunvtYUy2obgU9C1ukaB3ktXDHbpSxdDj3AZ5FMiZLHwQC0+R8Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:31.724244Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08524","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7","sha256:4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623"],"state_sha256":"0a0ff0e8beb431f41aae6b923fffb33372e688f4b3fa62df1749e1d5b7a72ef9"}