{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:BQ7NX5WCIDHQYRIGNURJN5E5NA","short_pith_number":"pith:BQ7NX5WC","canonical_record":{"source":{"id":"2608.07926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-08T05:05:55Z","cross_cats_sorted":[],"title_canon_sha256":"13a9d4d7ccd79b1a4461854ae61c9a429ca02825ae7c6b85f8f5baf779311a11","abstract_canon_sha256":"8cb04e494c238285ef07e770c6b93940570f5a59fb6ee6979dc1e312558e8e46"},"schema_version":"1.0"},"canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","source":{"kind":"arxiv","id":"2608.07926","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.07926","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"arxiv_version","alias_value":"2608.07926v1","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.07926","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_12","alias_value":"BQ7NX5WCIDHQ","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_16","alias_value":"BQ7NX5WCIDHQYRIG","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_8","alias_value":"BQ7NX5WC","created_at":"2026-08-11T01:18:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:BQ7NX5WCIDHQYRIGNURJN5E5NA","target":"record","payload":{"canonical_record":{"source":{"id":"2608.07926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-08T05:05:55Z","cross_cats_sorted":[],"title_canon_sha256":"13a9d4d7ccd79b1a4461854ae61c9a429ca02825ae7c6b85f8f5baf779311a11","abstract_canon_sha256":"8cb04e494c238285ef07e770c6b93940570f5a59fb6ee6979dc1e312558e8e46"},"schema_version":"1.0"},"canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-11T01:18:59.745507Z","signature_b64":"G+jZ0ahCdSJ3XmruIp/9hP7Blrv4wWlVZlRQA5kB3uhOaDrIS4CajUX24oIuFlxp7C5TuvVzByCwnYwK4T0lBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","last_reissued_at":"2026-08-11T01:18:59.742601Z","signature_status":"signed_v1","first_computed_at":"2026-08-11T01:18:59.742601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.07926","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-08-11T01:18:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AOr+/IHXWTlrRvBw61a+N7tPALK1O8MLmFRaoWDL1RfbsU1tNeJ2lzZ8GkWhFUQQ2Mx9CvnBP1tmfVk8Q4dGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T03:00:39.251814Z"},"content_sha256":"a664627e48927386d0fa453f266e9f4ed6e592afcb6b250cc0e457b1ea66ded7","schema_version":"1.0","event_id":"sha256:a664627e48927386d0fa453f266e9f4ed6e592afcb6b250cc0e457b1ea66ded7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:BQ7NX5WCIDHQYRIGNURJN5E5NA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Refining LLM-based Directed Test Input Generation via Runtime Value Feedback","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Narin Han, Shin Hong","submitted_at":"2026-08-08T05:05:55Z","abstract_excerpt":"LLM-based directed input generation techniques have shown promising effectiveness at producing target-reaching test inputs. However, due to the constraint of available code information and inherent unpredictability of LLM inference, reliable directed input generation requires mechanisms to ground the process in observed runtime behavior. We propose ReDig, a runtime feedback-guided refinement framework which adds a control loop around an LLM-based directed test input generation technique to refine the directed input generation with runtime values observed in prior target-missing test executions"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.07926","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/2608.07926/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-08-11T01:18:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SLy5dUbJLptsvdH33djnUs9R9RphfP4r4n9ZpsAGmJrm28T3a6UfLFqCH5AyZ3dumPj3mC5DdqaDq//txFkCAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T03:00:39.252309Z"},"content_sha256":"acd13caa9e7bf65ffb3681fde92143a2e4defe88286fb61ab8a05abd93525fcb","schema_version":"1.0","event_id":"sha256:acd13caa9e7bf65ffb3681fde92143a2e4defe88286fb61ab8a05abd93525fcb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/bundle.json","state_url":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/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-14T03:00:39Z","links":{"resolver":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA","bundle":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/bundle.json","state":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:BQ7NX5WCIDHQYRIGNURJN5E5NA","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":"8cb04e494c238285ef07e770c6b93940570f5a59fb6ee6979dc1e312558e8e46","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-08T05:05:55Z","title_canon_sha256":"13a9d4d7ccd79b1a4461854ae61c9a429ca02825ae7c6b85f8f5baf779311a11"},"schema_version":"1.0","source":{"id":"2608.07926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.07926","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"arxiv_version","alias_value":"2608.07926v1","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.07926","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_12","alias_value":"BQ7NX5WCIDHQ","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_16","alias_value":"BQ7NX5WCIDHQYRIG","created_at":"2026-08-11T01:18:59Z"},{"alias_kind":"pith_short_8","alias_value":"BQ7NX5WC","created_at":"2026-08-11T01:18:59Z"}],"graph_snapshots":[{"event_id":"sha256:acd13caa9e7bf65ffb3681fde92143a2e4defe88286fb61ab8a05abd93525fcb","target":"graph","created_at":"2026-08-11T01:18:59Z","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/2608.07926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLM-based directed input generation techniques have shown promising effectiveness at producing target-reaching test inputs. However, due to the constraint of available code information and inherent unpredictability of LLM inference, reliable directed input generation requires mechanisms to ground the process in observed runtime behavior. We propose ReDig, a runtime feedback-guided refinement framework which adds a control loop around an LLM-based directed test input generation technique to refine the directed input generation with runtime values observed in prior target-missing test executions","authors_text":"Narin Han, Shin Hong","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-08T05:05:55Z","title":"Refining LLM-based Directed Test Input Generation via Runtime Value Feedback"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.07926","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:a664627e48927386d0fa453f266e9f4ed6e592afcb6b250cc0e457b1ea66ded7","target":"record","created_at":"2026-08-11T01:18:59Z","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":"8cb04e494c238285ef07e770c6b93940570f5a59fb6ee6979dc1e312558e8e46","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-08-08T05:05:55Z","title_canon_sha256":"13a9d4d7ccd79b1a4461854ae61c9a429ca02825ae7c6b85f8f5baf779311a11"},"schema_version":"1.0","source":{"id":"2608.07926","kind":"arxiv","version":1}},"canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","first_computed_at":"2026-08-11T01:18:59.742601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-11T01:18:59.742601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G+jZ0ahCdSJ3XmruIp/9hP7Blrv4wWlVZlRQA5kB3uhOaDrIS4CajUX24oIuFlxp7C5TuvVzByCwnYwK4T0lBw==","signature_status":"signed_v1","signed_at":"2026-08-11T01:18:59.745507Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.07926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a664627e48927386d0fa453f266e9f4ed6e592afcb6b250cc0e457b1ea66ded7","sha256:acd13caa9e7bf65ffb3681fde92143a2e4defe88286fb61ab8a05abd93525fcb"],"state_sha256":"1f52aeb2c8051c3c30423ab6a64234e116e523a15dde55535d1219569758366d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2c8YnzxgqMVHOJd5TeCodjid2fXal5sig5kvx74m+30hYs4YZeCHrDny4MsxayxcPFWbs8DbUoYheIoyLF4OBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T03:00:39.257811Z","bundle_sha256":"8dc1ba2b1102e452d5bcc015f2c3783a74cae65a81d5bc9e48ed8a524a743b2a"}}