{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:BQ7NX5WCIDHQYRIGNURJN5E5NA","short_pith_number":"pith:BQ7NX5WC","schema_version":"1.0","canonical_sha256":"0c3edbf6c240cf0c45066d2296f49d682f4e123da76a9d7542e763c7f18807b7","source":{"kind":"arxiv","id":"2608.07926","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.07926","created_at":"2026-08-11T01:18:59.743397+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.07926v1","created_at":"2026-08-11T01:18:59.743397+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.07926","created_at":"2026-08-11T01:18:59.743397+00:00"},{"alias_kind":"pith_short_12","alias_value":"BQ7NX5WCIDHQ","created_at":"2026-08-11T01:18:59.743397+00:00"},{"alias_kind":"pith_short_16","alias_value":"BQ7NX5WCIDHQYRIG","created_at":"2026-08-11T01:18:59.743397+00:00"},{"alias_kind":"pith_short_8","alias_value":"BQ7NX5WC","created_at":"2026-08-11T01:18:59.743397+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA","json":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA.json","graph_json":"https://pith.science/api/pith-number/BQ7NX5WCIDHQYRIGNURJN5E5NA/graph.json","events_json":"https://pith.science/api/pith-number/BQ7NX5WCIDHQYRIGNURJN5E5NA/events.json","paper":"https://pith.science/paper/BQ7NX5WC"},"agent_actions":{"view_html":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA","download_json":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA.json","view_paper":"https://pith.science/paper/BQ7NX5WC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.07926&json=true","fetch_graph":"https://pith.science/api/pith-number/BQ7NX5WCIDHQYRIGNURJN5E5NA/graph.json","fetch_events":"https://pith.science/api/pith-number/BQ7NX5WCIDHQYRIGNURJN5E5NA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/action/storage_attestation","attest_author":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/action/author_attestation","sign_citation":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/action/citation_signature","submit_replication":"https://pith.science/pith/BQ7NX5WCIDHQYRIGNURJN5E5NA/action/replication_record"}},"created_at":"2026-08-11T01:18:59.743397+00:00","updated_at":"2026-08-11T01:18:59.743397+00:00"}