Paper Citation Record · LEDGER

Can Large Language Models Write Good Property-Based Tests?

As of 8 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 17 inbound Pith citation observations for arXiv:2307.04346.

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

pith.paper-citation-record.v1
2307.04346 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

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

measured 17 of 17 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:48:24.193763Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T15:17:07.573632Z

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 1b4d98bc-3fd0-4193-bdda-9a31704685df · inbound

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems cites this paper.

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Can Large Language Models Write Good Property-Based Tests?

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T12:48:24.193763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ba1fe71-c2ad-4cdc-8378-04a9075ef7e0 · inbound

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space cites this paper.

ELFuzz: Efficient Input Generation via LLM-driven Synthesis Over Fuzzer Space Can Large Language Models Write Good Property-Based Tests?

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T04:39:51.464398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ac710c2-ac4c-40b4-9db8-26f03073e700 · inbound

Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback cites this paper.

Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback Can Large Language Models Write Good Property-Based Tests?

Reference 18

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T08:37:11.697379Z

Source-reported events for the cited work

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

Observation 6b6ed2f5-7d0f-4456-b5c2-013e412fd502 · inbound

DisFaceRep: Representation Disentanglement for Co-occurring Facial Components in Weakly Supervised Face Parsing cites this paper.

DisFaceRep: Representation Disentanglement for Co-occurring Facial Components in Weakly Supervised Face Parsing Can Large Language Models Write Good Property-Based Tests?

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T05:45:41.216282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e9e544a-702d-464f-884d-a445f90d4a2f · inbound

Hamster: A Large-Scale Study and Characterization of Developer-Written Tests cites this paper.

Hamster: A Large-Scale Study and Characterization of Developer-Written Tests Can Large Language Models Write Good Property-Based Tests?

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-04T13:35:42.318371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f6cf3a6-ecae-414e-9497-a9e6ec16384c · inbound

PBFuzz: Agentic Directed Fuzzing for PoV Generation cites this paper.

PBFuzz: Agentic Directed Fuzzing for PoV Generation Can Large Language Models Write Good Property-Based Tests?

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-03T18:37:51.099232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bb3297a-002c-4d5b-bc41-2f3a559d8554 · inbound

Decision-Oriented Programming with Aporia cites this paper.

Decision-Oriented Programming with Aporia Can Large Language Models Write Good Property-Based Tests?

Reference 55

Resolution: verified exact; arxiv_id, observed 2026-05-10T23:50:53.087116Z

Source-reported events for the cited work

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

Observation 767bd0a8-5807-4129-953f-05cb815cb500 · inbound

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals cites this paper.

Enhancing Program Repair with Specification Guidance and Intermediate Behavioral Signals Can Large Language Models Write Good Property-Based Tests?

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-05-11T11:26:04.579410Z

Source-reported events for the cited work

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

Observation 8328ea75-4b28-466c-a5e6-13b51f0c8948 · inbound

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing cites this paper.

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing Can Large Language Models Write Good Property-Based Tests?

Reference 60

Resolution: verified exact; arxiv_id, observed 2026-05-10T14:10:29.199069Z

Source-reported events for the cited work

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

Observation b1df9a3f-e924-42e7-868e-e8b5559caff4 · inbound

Generalizing Test Cases for Comprehensive Test Scenario Coverage cites this paper.

Generalizing Test Cases for Comprehensive Test Scenario Coverage Can Large Language Models Write Good Property-Based Tests?

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-05-11T14:46:09.735649Z

Source-reported events for the cited work

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

Observation 0d858bc1-4ceb-47db-bee8-02e28053e42f · inbound

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation cites this paper.

VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation Can Large Language Models Write Good Property-Based Tests?

Reference 45

Resolution: metadata mismatch; arxiv_id, observed 2026-05-12T08:01:32.464297Z

Source-reported events for the cited work

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

Observation 90c3e674-461e-4d17-872b-28df3d8b7434 · inbound

PBT-Bench: Benchmarking AI Agents on Property-Based Testing cites this paper.

PBT-Bench: Benchmarking AI Agents on Property-Based Testing Can Large Language Models Write Good Property-Based Tests?

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-19T17:27:41.322653Z

Source-reported events for the cited work

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

Observation 90a0527c-a7cc-49c3-bcfa-50c8e74ba88c · inbound

PBT-Bench: Benchmarking AI Agents on Property-Based Testing cites this paper.

PBT-Bench: Benchmarking AI Agents on Property-Based Testing Can Large Language Models Write Good Property-Based Tests?

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-21T07:59:50.115588Z

Source-reported events for the cited work

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

Observation eedb7146-939f-4028-8fe9-2cf83097d9d4 · inbound

PBT-Bench: Benchmarking AI Agents on Property-Based Testing cites this paper.

PBT-Bench: Benchmarking AI Agents on Property-Based Testing Can Large Language Models Write Good Property-Based Tests?

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-07-01T14:25:47.092706Z

Source-reported events for the cited work

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

Observation 770c8d62-3a14-482e-9153-9db9a63aaa99 · inbound

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers cites this paper.

Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers Can Large Language Models Write Good Property-Based Tests?

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-02T15:17:07.575427Z

Source-reported events for the cited work

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

Observation eef72ad5-77e4-40a7-bc2f-54267f3c2b09 · inbound

Teaching Code LLMs to Reason with Intermediate Formal Specifications cites this paper.

Teaching Code LLMs to Reason with Intermediate Formal Specifications Can Large Language Models Write Good Property-Based Tests?

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T20:47:20.640887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6819aca-df94-4971-8c4f-d1049dae2557 · inbound

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts cites this paper.

Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts Can Large Language Models Write Good Property-Based Tests?

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-31T23:53:50.595428Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.