Paper Citation Record · LEDGER

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs

As of 9 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2607.21530.

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

pith.paper-citation-record.v1
2607.21530 v1

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T07:12:18.202395Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

13 of 13 outbound references displayed

verified exact0
verified fuzzy0
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e7fae740-241b-44b6-9204-b323c26d45ac · outbound

This paper cites REST-ler: Automatic Intelligent REST API Fuzzing.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs REST-ler: Automatic Intelligent REST API Fuzzing

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.064046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0a56a2-7f19-429b-8975-9c1c9d84ab0d · outbound

This paper cites Stateful Greybox Fuzzing.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Stateful Greybox Fuzzing

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.067926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e8247db-cce2-46b3-b0ee-7df30300e8ea · outbound

This paper cites Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.071034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc2e8b82-3f8c-40d6-964b-c599b88d8e79 · outbound

This paper cites Automated Test Case Generation using Petri Nets.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Automated Test Case Generation using Petri Nets

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.074029Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95570fa0-1ffa-4752-a6bc-16f3c470cf2a · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.077653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdceb7ba-b1e0-46a5-bc49-0ab5f11f1f0b · outbound

This paper cites StateAFL: Greybox Fuzzing for Stateful Network Servers.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs StateAFL: Greybox Fuzzing for Stateful Network Servers

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.181412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb8872d2-dcff-4e28-84fc-5a52d570f902 · outbound

This paper cites CoverUp: Effective High Coverage Test Generation for Python.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs CoverUp: Effective High Coverage Test Generation for Python

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.185803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96df6925-c495-411c-83e7-b24b2daa3dfb · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.189037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ffea45e-c6ac-4ad5-8f89-50737dd2fd33 · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.191869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 128a9da7-77e3-4035-b382-d2bbd1e59b5d · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.194518Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d33322d-519e-40ce-ad52-916d3d6ce30b · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.197194Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d8a5752-aa92-43a0-a659-d2586c16f419 · outbound

This paper cites an unresolved cited work.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.199689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60272615-d960-412f-b200-39c88a125b9a · outbound

This paper cites Fuzz4All: Universal Fuzzing with Large Language Models.

From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs Fuzz4All: Universal Fuzzing with Large Language Models

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T07:12:18.202395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.