Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:29:29.422156Z
Paper Citation Record · LEDGER
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
As of 9 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 2 inbound Pith citation observations for arXiv:2505.15039.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:00:46.102393Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-18T08:01:06.698832Z
Reference resolution
27 of 27 outbound references displayed
- verified exact0
- verified fuzzy18
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 005d399d-ffa2-4679-a049-f4195636ac77 · outbound
This paper cites Burke, Tsong Yueh Chen, John A.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Burke, Tsong Yueh Chen, John A
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:33.980534Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ac7a3743-6a9a-4269-acc0-4018d3d3651a · outbound
This paper cites Evaluating Large Language Models Trained on Code.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Evaluating Large Language Models Trained on Code
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:26.971998Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 307347fc-29ce-4b3a-bcf4-e3778142d495 · outbound
This paper cites Context-free commutative grammars with integer counters and resets.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Context-free commutative grammars with integer counters and resets
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:33.833855Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 28cadd28-eac1-4cfd-92c2-3aa554605f3c · outbound
This paper cites Desmarais.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Desmarais
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:33.638086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ce90ddc7-8117-4138-8f76-d93c33c143a7 · outbound
This paper cites CodeBERT : A pre-trained model for programming and natural languages.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming CodeBERT : A pre-trained model for programming and natural languages
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:33.455518Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 27a8d741-fc33-4d71-a5cc-fbb4099789ce · outbound
This paper cites EvoSuite : A utomatic test suite generation for object-oriented software.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming EvoSuite : A utomatic test suite generation for object-oriented software
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:33.263890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 46e54cd7-1309-42ad-b8ea-fc24290c8e83 · outbound
This paper cites an unresolved cited work.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:29:33.098055Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 706e1fe7-b618-4435-85ca-db66264568f0 · outbound
This paper cites UniXcoder : U nified cross-modal pre-training for code representation.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming UniXcoder : U nified cross-modal pre-training for code representation
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:32.871185Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 300a58b2-5942-468e-8190-ee516134d079 · outbound
This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Hopcroft, Rajeev Motwani, and Jeffrey D
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:32.607461Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 19b4d0de-75cf-43c3-8b8d-0dc5858063f5 · outbound
This paper cites Lahiri, and Siddhartha Sen.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Lahiri, and Siddhartha Sen
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:32.339669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 01da9971-a13b-458d-86e8-047c1770487b · outbound
This paper cites an unresolved cited work.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:29:32.071808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4c7f4297-b6c9-40c6-ba22-0de0feb7e647 · outbound
This paper cites Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:31.742965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 1f52ad91-71f8-4053-939f-c63c9a1fe123 · outbound
This paper cites Miller, Lars Fredriksen, and Bryan So.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Miller, Lars Fredriksen, and Bryan So
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:31.411031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation aad1074c-78dd-4bac-8618-8ca0b012c93b · outbound
This paper cites Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:31.001626Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 85ebd76a-7c86-47c8-98f9-c4e01c981d98 · outbound
This paper cites Code Llama: Open Foundation Models for Code.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Code Llama: Open Foundation Models for Code
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:28.656489Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8a795059-5bd9-431d-af76-441c34f3e0a8 · outbound
This paper cites Gramatron: E ffective grammar-aware fuzzing.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Gramatron: E ffective grammar-aware fuzzing
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:30.798716Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 269dc555-f1b3-4422-8b59-8e4ca95a18c5 · outbound
This paper cites Gemma: Open Models Based on Gemini Research and Technology.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Gemma: Open Models Based on Gemini Research and Technology
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:28.761039Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5125234-cf1a-43f6-89ac-c45125180934 · outbound
This paper cites Bissyand \' e.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Bissyand \' e
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:30.534409Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 50f59f46-39d8-47c2-9e03-b41dabf5e3b2 · outbound
This paper cites CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:28.888487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0bf057d-554d-469b-bf78-22e3d1b6d53f · outbound
This paper cites Saurous, and Yoon Kim.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Saurous, and Yoon Kim
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:30.238342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3c25c92e-8739-4e20-a05a-7a6aa9a60f6c · outbound
This paper cites TESTEVAL: Benchmarking Large Language Models for Test Case Generation.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming TESTEVAL: Benchmarking Large Language Models for Test Case Generation
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:29.018544Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 425c547a-f9a2-42f0-90ed-47c40df3f29b · outbound
This paper cites Chi, Quoc V.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Chi, Quoc V
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:30.008396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 19548b65-5592-4342-a099-55a7246dcff3 · outbound
This paper cites Fuzz4all: Universal fuzzing with large language models.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming Fuzz4all: Universal fuzzing with large language models
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:29.877390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 956df0ac-d9b1-431a-ae35-fbde84fe7971 · outbound
This paper cites TestAug : A framework for augmenting capability-based NLP tests.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming TestAug : A framework for augmenting capability-based NLP tests
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:29.775651Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2d37bf4c-76cb-4a6a-b30a-0a6e24084a08 · outbound
This paper cites No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:29.277721Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff9a024d-8ee5-4067-bec3-92fe7089ac21 · outbound
This paper cites RePair : A utomated program repair with process-based feedback.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming RePair : A utomated program repair with process-based feedback
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:29:29.642186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 172dd74a-bc15-43e8-bcba-d992a9dc80cf · outbound
This paper cites write newline.
LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming write newline
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:29:29.422156Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 25265aa3-491a-4d89-8d6a-eabe744e28ed · inbound
SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs cites this paper.
SAGE:Specification-Aware Grammar Extraction for Automated Test Case Generation with LLMs LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:00:46.102393Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a08140a6-c940-4ceb-ac73-2036707773aa · inbound
ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation cites this paper.
ContractEval: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming
Reference 27
- Resolution
- verified exact
- arxiv_id, observed 2026-05-18T08:01:06.701974Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.