{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CXOCPPYYTPLSFXVBM7FSEXXX7N","short_pith_number":"pith:CXOCPPYY","schema_version":"1.0","canonical_sha256":"15dc27bf189bd722dea167cb225ef7fb4f9c3166ac248db2610f8844bfb8534c","source":{"kind":"arxiv","id":"2512.06401","version":2},"attestation_state":"computed","paper":{"title":"LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chenhui Cui, Dave Towey, Nan Niu, Rubing Huang, Shikai Guo, Tao Li, Zhenzhen Yang","submitted_at":"2025-12-06T11:19:37Z","abstract_excerpt":"Appropriate test-case generation is critical in software testing and significantly impacts testing quality. Requirements-Based Test Generation (RBTG) derives test cases from software requirements to verify whether system behavior aligns with user needs and expectations. Requirements are often documented in Natural Language (NL), with use-case descriptions being a popular method for capturing functional behaviors and interaction flows in a structured, readable form. Recently, Large Language Models (LLMs) have shown strong potential for automating test generation from NL requirements. However, e"},"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":"2512.06401","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-12-06T11:19:37Z","cross_cats_sorted":[],"title_canon_sha256":"4d0439fb252ea379872721379585b621c688181ff70fe225f3918459559c58bb","abstract_canon_sha256":"10f4b1c837866d4319609b403199d7b3c9e7eceb6d952db49363f91dccd8d890"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:15:47.823138Z","signature_b64":"UubUPmdlX8x+kb45g3oDDatGtIMcPWd4mR6dEIVG2Sad1PYtBlO+j11MC9wbj2c1k2UaoX4ayDQ4wpvEDeWOCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15dc27bf189bd722dea167cb225ef7fb4f9c3166ac248db2610f8844bfb8534c","last_reissued_at":"2026-06-26T01:15:47.822630Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:15:47.822630Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LLMCFG-TGen: Using LLM-Generated Control Flow Graphs to Automatically Create Test Cases from Use Cases","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chenhui Cui, Dave Towey, Nan Niu, Rubing Huang, Shikai Guo, Tao Li, Zhenzhen Yang","submitted_at":"2025-12-06T11:19:37Z","abstract_excerpt":"Appropriate test-case generation is critical in software testing and significantly impacts testing quality. Requirements-Based Test Generation (RBTG) derives test cases from software requirements to verify whether system behavior aligns with user needs and expectations. Requirements are often documented in Natural Language (NL), with use-case descriptions being a popular method for capturing functional behaviors and interaction flows in a structured, readable form. Recently, Large Language Models (LLMs) have shown strong potential for automating test generation from NL requirements. However, e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.06401","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/2512.06401/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":"2512.06401","created_at":"2026-06-26T01:15:47.822696+00:00"},{"alias_kind":"arxiv_version","alias_value":"2512.06401v2","created_at":"2026-06-26T01:15:47.822696+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.06401","created_at":"2026-06-26T01:15:47.822696+00:00"},{"alias_kind":"pith_short_12","alias_value":"CXOCPPYYTPLS","created_at":"2026-06-26T01:15:47.822696+00:00"},{"alias_kind":"pith_short_16","alias_value":"CXOCPPYYTPLSFXVB","created_at":"2026-06-26T01:15:47.822696+00:00"},{"alias_kind":"pith_short_8","alias_value":"CXOCPPYY","created_at":"2026-06-26T01:15:47.822696+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/CXOCPPYYTPLSFXVBM7FSEXXX7N","json":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N.json","graph_json":"https://pith.science/api/pith-number/CXOCPPYYTPLSFXVBM7FSEXXX7N/graph.json","events_json":"https://pith.science/api/pith-number/CXOCPPYYTPLSFXVBM7FSEXXX7N/events.json","paper":"https://pith.science/paper/CXOCPPYY"},"agent_actions":{"view_html":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N","download_json":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N.json","view_paper":"https://pith.science/paper/CXOCPPYY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2512.06401&json=true","fetch_graph":"https://pith.science/api/pith-number/CXOCPPYYTPLSFXVBM7FSEXXX7N/graph.json","fetch_events":"https://pith.science/api/pith-number/CXOCPPYYTPLSFXVBM7FSEXXX7N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N/action/storage_attestation","attest_author":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N/action/author_attestation","sign_citation":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N/action/citation_signature","submit_replication":"https://pith.science/pith/CXOCPPYYTPLSFXVBM7FSEXXX7N/action/replication_record"}},"created_at":"2026-06-26T01:15:47.822696+00:00","updated_at":"2026-06-26T01:15:47.822696+00:00"}