{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:7RV7WORGUWFQ6S5S6CXK6DVMJX","short_pith_number":"pith:7RV7WORG","schema_version":"1.0","canonical_sha256":"fc6bfb3a26a58b0f4bb2f0aeaf0eac4dfd644a032c50113656354048b0e1a2e1","source":{"kind":"arxiv","id":"2505.15039","version":1},"attestation_state":"computed","paper":{"title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Aditi, Dogyu kim, Sang-Ki Ko, Sicheol Sung, Yo-Sub Han","submitted_at":"2025-05-21T02:48:01Z","abstract_excerpt":"Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse and accurate test cases. However, existing ATCG methods often fail to meet complex specifications or generate effective corner cases, limiting their utility. In this work, we introduce Context-Free Grammars with Counters (CCFGs), a formalism that captures both syntactic and semantic structures in input specifications. Using a fine-tuned CodeT5 model, we translate natural language input specifications into CCFGs, enabl"},"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":"2505.15039","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T02:48:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"fd26c06321b98983f4a63daac28ab1cfd58b75f9567fabfd99c1af5a77ed3f06","abstract_canon_sha256":"b6b01aed37081af51b9eb13d5d41de0d94a5f34a33f21cb2795f932ceb9a55e3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:39.604250Z","signature_b64":"VY7hX2JbWHDZ3zBVV/NhwEZ0u219UE3JPk+CFIqTy+eKidSnIu6HHsW4Y6TCLwZAZOuhg1M8rsYss70ev8CwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc6bfb3a26a58b0f4bb2f0aeaf0eac4dfd644a032c50113656354048b0e1a2e1","last_reissued_at":"2026-07-05T11:06:39.603769Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:39.603769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Aditi, Dogyu kim, Sang-Ki Ko, Sicheol Sung, Yo-Sub Han","submitted_at":"2025-05-21T02:48:01Z","abstract_excerpt":"Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse and accurate test cases. However, existing ATCG methods often fail to meet complex specifications or generate effective corner cases, limiting their utility. In this work, we introduce Context-Free Grammars with Counters (CCFGs), a formalism that captures both syntactic and semantic structures in input specifications. Using a fine-tuned CodeT5 model, we translate natural language input specifications into CCFGs, enabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15039","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/2505.15039/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":"2505.15039","created_at":"2026-07-05T11:06:39.603827+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.15039v1","created_at":"2026-07-05T11:06:39.603827+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15039","created_at":"2026-07-05T11:06:39.603827+00:00"},{"alias_kind":"pith_short_12","alias_value":"7RV7WORGUWFQ","created_at":"2026-07-05T11:06:39.603827+00:00"},{"alias_kind":"pith_short_16","alias_value":"7RV7WORGUWFQ6S5S","created_at":"2026-07-05T11:06:39.603827+00:00"},{"alias_kind":"pith_short_8","alias_value":"7RV7WORG","created_at":"2026-07-05T11:06:39.603827+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2510.12047","citing_title":"ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation","ref_index":27,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX","json":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX.json","graph_json":"https://pith.science/api/pith-number/7RV7WORGUWFQ6S5S6CXK6DVMJX/graph.json","events_json":"https://pith.science/api/pith-number/7RV7WORGUWFQ6S5S6CXK6DVMJX/events.json","paper":"https://pith.science/paper/7RV7WORG"},"agent_actions":{"view_html":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX","download_json":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX.json","view_paper":"https://pith.science/paper/7RV7WORG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.15039&json=true","fetch_graph":"https://pith.science/api/pith-number/7RV7WORGUWFQ6S5S6CXK6DVMJX/graph.json","fetch_events":"https://pith.science/api/pith-number/7RV7WORGUWFQ6S5S6CXK6DVMJX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX/action/storage_attestation","attest_author":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX/action/author_attestation","sign_citation":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX/action/citation_signature","submit_replication":"https://pith.science/pith/7RV7WORGUWFQ6S5S6CXK6DVMJX/action/replication_record"}},"created_at":"2026-07-05T11:06:39.603827+00:00","updated_at":"2026-07-05T11:06:39.603827+00:00"}