{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:TNKEVX24PQEIQTSVYC3NDCWEIE","short_pith_number":"pith:TNKEVX24","canonical_record":{"source":{"id":"2503.13580","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-17T16:10:38Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a2d34d2934b70495600e7809cbadea6d361c4563cc5340c8b35ad49dccf212d8","abstract_canon_sha256":"f50303a149a763ff84b557c62121ad95b6213e3d5b53cfaf7fdf3abb3670f1e8"},"schema_version":"1.0"},"canonical_sha256":"9b544adf5c7c08884e55c0b6d18ac44107d4fbdf3ae008483d56cb9ea83893c5","source":{"kind":"arxiv","id":"2503.13580","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.13580","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"arxiv_version","alias_value":"2503.13580v2","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.13580","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_12","alias_value":"TNKEVX24PQEI","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_16","alias_value":"TNKEVX24PQEIQTSV","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_8","alias_value":"TNKEVX24","created_at":"2026-07-05T12:01:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:TNKEVX24PQEIQTSVYC3NDCWEIE","target":"record","payload":{"canonical_record":{"source":{"id":"2503.13580","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-17T16:10:38Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a2d34d2934b70495600e7809cbadea6d361c4563cc5340c8b35ad49dccf212d8","abstract_canon_sha256":"f50303a149a763ff84b557c62121ad95b6213e3d5b53cfaf7fdf3abb3670f1e8"},"schema_version":"1.0"},"canonical_sha256":"9b544adf5c7c08884e55c0b6d18ac44107d4fbdf3ae008483d56cb9ea83893c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:01:21.301280Z","signature_b64":"FkJczSbb5OwBMwjRdJZeSIW88/hvtgkhqZYV5p+iYodC5Eacnmi080jWvPwtkPIfEBZ/Foc676RTW5fDiVYFDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b544adf5c7c08884e55c0b6d18ac44107d4fbdf3ae008483d56cb9ea83893c5","last_reissued_at":"2026-07-05T12:01:21.300745Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:01:21.300745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.13580","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-07-05T12:01:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rlWiJiE9Oc/SZgCsKFg3ES4W39z4XWM2Tw6yznFRERcHiRIXDZlqMS/U1eFVpycauwnPuJIs3hgajxjc/PTbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T14:47:35.792339Z"},"content_sha256":"9cc5fc24dc08e5a78cb669fea22b2e2cb26e3dc9f6134d3c73372e4df8d107ba","schema_version":"1.0","event_id":"sha256:9cc5fc24dc08e5a78cb669fea22b2e2cb26e3dc9f6134d3c73372e4df8d107ba"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:TNKEVX24PQEIQTSVYC3NDCWEIE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM Test Generation via Iterative Hybrid Program Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Ali Mesbah, Noor Nashid, Sijia Gu","submitted_at":"2025-03-17T16:10:38Z","abstract_excerpt":"Automating unit test generation remains a significant challenge, particularly for complex methods in real-world projects. While Large Language Models (LLMs) have made strides in code generation, they struggle to achieve high branch coverage due to their limited ability to reason about intricate control flow structures. To address this limitation, we introduce Panta, a technique that emulates the iterative process human developers follow when analyzing code and constructing test cases. Panta integrates static control flow analysis and dynamic code coverage analysis to systematically guide LLMs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.13580","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.13580/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-05T12:01:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VrZDMcASqNQJCC7LpIpNDs0BwneHR4OJ/ijWRbWfkAWb3KMhWm7yrC4wHMrhxi2obH4PbovM/gJlQNxEgWceDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T14:47:35.793656Z"},"content_sha256":"26631d0969cc0850c21825d5a94dca8e986795e4876ad46b2e997a3d374d930a","schema_version":"1.0","event_id":"sha256:26631d0969cc0850c21825d5a94dca8e986795e4876ad46b2e997a3d374d930a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/bundle.json","state_url":"https://pith.science/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/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-08-06T14:47:35Z","links":{"resolver":"https://pith.science/pith/TNKEVX24PQEIQTSVYC3NDCWEIE","bundle":"https://pith.science/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/bundle.json","state":"https://pith.science/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TNKEVX24PQEIQTSVYC3NDCWEIE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TNKEVX24PQEIQTSVYC3NDCWEIE","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":"f50303a149a763ff84b557c62121ad95b6213e3d5b53cfaf7fdf3abb3670f1e8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-17T16:10:38Z","title_canon_sha256":"a2d34d2934b70495600e7809cbadea6d361c4563cc5340c8b35ad49dccf212d8"},"schema_version":"1.0","source":{"id":"2503.13580","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.13580","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"arxiv_version","alias_value":"2503.13580v2","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.13580","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_12","alias_value":"TNKEVX24PQEI","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_16","alias_value":"TNKEVX24PQEIQTSV","created_at":"2026-07-05T12:01:21Z"},{"alias_kind":"pith_short_8","alias_value":"TNKEVX24","created_at":"2026-07-05T12:01:21Z"}],"graph_snapshots":[{"event_id":"sha256:26631d0969cc0850c21825d5a94dca8e986795e4876ad46b2e997a3d374d930a","target":"graph","created_at":"2026-07-05T12:01:21Z","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/2503.13580/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automating unit test generation remains a significant challenge, particularly for complex methods in real-world projects. While Large Language Models (LLMs) have made strides in code generation, they struggle to achieve high branch coverage due to their limited ability to reason about intricate control flow structures. To address this limitation, we introduce Panta, a technique that emulates the iterative process human developers follow when analyzing code and constructing test cases. Panta integrates static control flow analysis and dynamic code coverage analysis to systematically guide LLMs ","authors_text":"Ali Mesbah, Noor Nashid, Sijia Gu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-17T16:10:38Z","title":"LLM Test Generation via Iterative Hybrid Program Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.13580","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:9cc5fc24dc08e5a78cb669fea22b2e2cb26e3dc9f6134d3c73372e4df8d107ba","target":"record","created_at":"2026-07-05T12:01:21Z","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":"f50303a149a763ff84b557c62121ad95b6213e3d5b53cfaf7fdf3abb3670f1e8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-17T16:10:38Z","title_canon_sha256":"a2d34d2934b70495600e7809cbadea6d361c4563cc5340c8b35ad49dccf212d8"},"schema_version":"1.0","source":{"id":"2503.13580","kind":"arxiv","version":2}},"canonical_sha256":"9b544adf5c7c08884e55c0b6d18ac44107d4fbdf3ae008483d56cb9ea83893c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b544adf5c7c08884e55c0b6d18ac44107d4fbdf3ae008483d56cb9ea83893c5","first_computed_at":"2026-07-05T12:01:21.300745Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:21.300745Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FkJczSbb5OwBMwjRdJZeSIW88/hvtgkhqZYV5p+iYodC5Eacnmi080jWvPwtkPIfEBZ/Foc676RTW5fDiVYFDg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:21.301280Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.13580","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9cc5fc24dc08e5a78cb669fea22b2e2cb26e3dc9f6134d3c73372e4df8d107ba","sha256:26631d0969cc0850c21825d5a94dca8e986795e4876ad46b2e997a3d374d930a"],"state_sha256":"d9f6d7e21551ee8097d660c869ad57bf76e9619ee11dc0521d57d1f75be282ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"shKviw1QJYIpw8H9iO+/xTtGRLPu8FmCpfsGAABFqE5W7WHrZtX3LZidU8FgNAuCwMqdFEqG6kc3eSzRhcFhCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T14:47:35.808449Z","bundle_sha256":"a6ea9cbc7716cc5fecc137ab365b59abf9fde071260b4102652a5b8d23b7ab7e"}}