Paper Citation Record · LEDGER

Validating LLM-Generated Programs with Metamorphic Prompt Testing

As of 15 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2406.06864.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2406.06864 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T10:34:43.241259Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-03T08:47:49.684166Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 83a5046e-82d4-48c3-9dc3-eca41a54f7c0 · inbound

Bridging LLM-Generated Code and Requirements: Reverse Generation technique and SBC Metric for Developer Insights cites this paper.

Bridging LLM-Generated Code and Requirements: Reverse Generation technique and SBC Metric for Developer Insights Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-08T13:38:21.650690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f671420-3634-40eb-bd4c-6bb9af0dc2bc · inbound

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey cites this paper.

Bidirectional Empowerment of Metamorphic Testing and Large Language Models: A Systematic Survey Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 104

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:19:46.565678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation babf031f-03bb-4385-9e3e-d4a0658ecb5b · inbound

Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming cites this paper.

Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 61

Resolution: verified exact; arxiv_id, observed 2026-07-03T08:47:49.685605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f9f217ce-49c7-478e-80c5-4589626d3ff2 · inbound

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits cites this paper.

Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T20:26:11.905313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bc8414c-c64f-451f-b506-6f15c9cd79b0 · inbound

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification cites this paper.

VeriSimpl: Robust Optimization Modeling from Natural Language using Simplification-based Verification Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T13:17:36.546350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c79d044-2a55-4291-9290-e03c44c45013 · inbound

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories cites this paper.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.034231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eba28fe5-b6af-4a81-87df-f26cbe59a92c · inbound

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories cites this paper.

SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories Validating LLM-Generated Programs with Metamorphic Prompt Testing

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-11T10:34:43.241259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.