{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:PXNYE5JATAXOHKHABBA23YEEUT","short_pith_number":"pith:PXNYE5JA","schema_version":"1.0","canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","source":{"kind":"arxiv","id":"2409.09271","version":1},"attestation_state":"computed","paper":{"title":"Python Symbolic Execution with LLM-powered Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"An Ran Chen, Gang Huang, Ge Li, Kaibo Liu, Lei Ma, Wenhan Wang, Zhi Jin","submitted_at":"2024-09-14T02:43:20Z","abstract_excerpt":"Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbolic execution has been proven helpful in generating high-coverage test cases, but its limitations, e.g., the difficulties in solving path constraints, prevent it from broader usage in software testing. Moreover, symbolic execution has encountered many difficulties when applied to dynamically typed languages like Python, because it is extremely challenging to translate the flexible Python grammar into rigid solvers.\n  "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.09271","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-09-14T02:43:20Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6c46bc005437b0523b9b5cfca227e70036c063694db1d9f4c8a976445718b60a","abstract_canon_sha256":"f85e7982a254268e30cca526eb1e30b9482fa19daf4528fd77a85cb2f29914fe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:07.363171Z","signature_b64":"n3zuKyR5/EPdDjtXdIyKAfnCAx2veaEikMTstGBc78060J4vXlcAXvB9gK2mpuAjdAnZmsQey7Bbe/eTYg1XCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ddb827520982ee3a8e00841ade084a4df6531e284852117150197d70ef11ac0","last_reissued_at":"2026-07-05T09:07:07.362547Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:07.362547Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Python Symbolic Execution with LLM-powered Code Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"An Ran Chen, Gang Huang, Ge Li, Kaibo Liu, Lei Ma, Wenhan Wang, Zhi Jin","submitted_at":"2024-09-14T02:43:20Z","abstract_excerpt":"Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbolic execution has been proven helpful in generating high-coverage test cases, but its limitations, e.g., the difficulties in solving path constraints, prevent it from broader usage in software testing. Moreover, symbolic execution has encountered many difficulties when applied to dynamically typed languages like Python, because it is extremely challenging to translate the flexible Python grammar into rigid solvers.\n  "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.09271","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/2409.09271/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.09271","created_at":"2026-07-05T09:07:07.362628+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.09271v1","created_at":"2026-07-05T09:07:07.362628+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.09271","created_at":"2026-07-05T09:07:07.362628+00:00"},{"alias_kind":"pith_short_12","alias_value":"PXNYE5JATAXO","created_at":"2026-07-05T09:07:07.362628+00:00"},{"alias_kind":"pith_short_16","alias_value":"PXNYE5JATAXOHKHA","created_at":"2026-07-05T09:07:07.362628+00:00"},{"alias_kind":"pith_short_8","alias_value":"PXNYE5JA","created_at":"2026-07-05T09:07:07.362628+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2607.02333","citing_title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","ref_index":51,"is_internal_anchor":false},{"citing_arxiv_id":"2606.26545","citing_title":"ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing","ref_index":31,"is_internal_anchor":false},{"citing_arxiv_id":"2512.12109","citing_title":"A Neuro-Symbolic Framework for Accountability in Public-Sector AI","ref_index":90,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT","json":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT.json","graph_json":"https://pith.science/api/pith-number/PXNYE5JATAXOHKHABBA23YEEUT/graph.json","events_json":"https://pith.science/api/pith-number/PXNYE5JATAXOHKHABBA23YEEUT/events.json","paper":"https://pith.science/paper/PXNYE5JA"},"agent_actions":{"view_html":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT","download_json":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT.json","view_paper":"https://pith.science/paper/PXNYE5JA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.09271&json=true","fetch_graph":"https://pith.science/api/pith-number/PXNYE5JATAXOHKHABBA23YEEUT/graph.json","fetch_events":"https://pith.science/api/pith-number/PXNYE5JATAXOHKHABBA23YEEUT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/action/storage_attestation","attest_author":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/action/author_attestation","sign_citation":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/action/citation_signature","submit_replication":"https://pith.science/pith/PXNYE5JATAXOHKHABBA23YEEUT/action/replication_record"}},"created_at":"2026-07-05T09:07:07.362628+00:00","updated_at":"2026-07-05T09:07:07.362628+00:00"}