Paper Citation Record · LEDGER

LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming

As of 8 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.

pith.paper-citation-record.v1
2505.15039 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T15:29:29.422156Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:00:46.102393Z

measured 0 of 1 external citation measurements

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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+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-07T06:34:17.273281+00:00.