Paper Citation Record · LEDGER

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits

As of 23 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2608.09740.

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

pith.paper-citation-record.v1
2608.09740 v2

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:19:08.565853Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy0
unresolved27
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 91fbea92-f100-433e-8b84-18f6d696fdc4 · outbound

This paper cites 2002.Test Driven Development: By Example.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits 2002.Test Driven Development: By Example

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.055806Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a496acb8-a277-4454-a19b-a785b11321d4 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.067466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01fa0acd-c653-4126-8de5-e9050da817db · outbound

This paper cites Teaching Large Language Models to Self-Debug.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Teaching Large Language Models to Self-Debug

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.082077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3baeb3a-ba5d-48d7-bae9-17046d88af7c · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.114751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8a424ea-633e-4ed6-bae6-826519efcc01 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.147347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 966697ec-45a9-4d12-916f-714fecab1a72 · outbound

This paper cites Tibshirani.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Tibshirani

Reference 6

Resolution: malformed identifier; no resolver link, observed 2026-08-14T04:19:08.174744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2754aa99-c9da-48a9-9369-4b88ba785462 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.193060Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7abe220-3c92-4f48-92fb-9ba0af2b5b54 · outbound

This paper cites Constrained Decoding for Secure Code Generation.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Constrained Decoding for Secure Code Generation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.213857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f330d1ec-1488-4336-b33e-32de80c27edb · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.248993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb196637-2682-4e8a-810a-4e7a6230a341 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.258527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9386a6-5afe-4988-89bf-9139cdf24014 · outbound

This paper cites Qwen2.5-Coder Technical Report.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Qwen2.5-Coder Technical Report

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.267223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d2ce38-5542-4ac1-96d8-7a9fa5a20ca7 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.304753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 088d30f6-ac17-44ff-be69-b76bb51242bb · outbound

This paper cites CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.330173Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6966b897-0e80-4d48-9756-e9e41b93e249 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.338263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4207b647-616f-4987-8ab3-2612413965fe · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.357904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c18824d-64d2-415f-95c8-ce5f85298a99 · outbound

This paper cites PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs).

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits PromSec: Prompt Optimization for Secure Generation of Functional Source Code with Large Language Models (LLMs)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.363049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de168b94-6613-4653-9e65-4b4378c4be64 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.374225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a7e95b0-d83a-4633-b03e-113ed50ab8c5 · outbound

This paper cites AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.404758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abfcaf49-792d-4e47-ab3c-98d85e7903ee · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.436179Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 471c8afc-ff33-4cee-b51b-81c7d6dd1866 · outbound

This paper cites CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.454282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21541c1f-9d0a-4031-8a56-fddd6e4ac115 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.462120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8a0861b-9b49-4d3c-8bc4-6330f611f9c5 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.471464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f0438ab-3698-46ab-a4eb-3f86344b4d57 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.480910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef28c242-1c74-4b89-9fed-f76a6c382970 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.494790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb777a60-5ede-446b-913e-3ebb4eaf66c0 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.516533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce848415-7098-469d-baef-812c4159e7c7 · outbound

This paper cites Qwen3 Technical Report.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Qwen3 Technical Report

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.534753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10171695-7733-4894-8572-3c20c02d9b43 · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.542379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bc3e9bc-0034-4c71-af4b-0ad0b2983aea · outbound

This paper cites an unresolved cited work.

Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limits Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-14T04:19:08.565853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.