{"as_of":"2026-08-09T12:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6d673bfb62b711ec8852a6902f4ee45578027235cff2bc5bb19534206d96faa8","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T07:12:18.202395Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.21530/citation-record","integrity":"/paper/2607.21530/integrity","json":"/paper/2607.21530/citation-record.json","paper":"/paper/2607.21530"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1806.09739","last_updated":"2018-06-26T00:28:26Z","snapshot_observed_at":"2026-08-07T01:33:40.551742Z","submitted_at":"2018-06-26T00:28:26Z","title":"REST-ler: Automatic Intelligent REST API Fuzzing","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1806.09739","snapshot_observed_at":"2026-08-01T07:12:18.064046Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.064046Z"},"links":{"cited_paper":"/paper/1806.09739","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:d92316b96190aac2acf89f1166830c56084b9d0623c4e25079d3a267f53b7bb5","observation_id":"e7fae740-241b-44b6-9204-b323c26d45ac","resolution":{"observed_at":"2026-08-01T07:12:18.064046Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.02545","last_updated":"2022-05-16T11:10:07Z","snapshot_observed_at":"2026-07-06T12:57:12.674346Z","submitted_at":"2022-04-06T02:26:34Z","title":"Stateful Greybox Fuzzing","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.02545","snapshot_observed_at":"2026-08-01T07:12:18.067926Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.067926Z"},"links":{"cited_paper":"/paper/2204.02545","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:815c15d0db469ea99d97b3202e7a3c77aac04b33328bdd9c94171f9c2b7a88e8","observation_id":"4a0a56a2-7f19-429b-8975-9c1c9d84ab0d","resolution":{"observed_at":"2026-08-01T07:12:18.067926Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.14834","last_updated":"2023-03-07T05:29:45Z","snapshot_observed_at":"2026-08-05T08:52:23.753853Z","submitted_at":"2022-12-30T17:25:11Z","title":"Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.14834","snapshot_observed_at":"2026-08-01T07:12:18.071034Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.071034Z"},"links":{"cited_paper":"/paper/2212.14834","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:fa7e2bad960f7a90f0edd4b6e26bf21047165f4521e1a2aa121f2a1462bd4337","observation_id":"6e8247db-cce2-46b3-b0ee-7df30300e8ea","resolution":{"observed_at":"2026-08-01T07:12:18.071034Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1509.08401","last_updated":"2015-09-28T17:22:52Z","snapshot_observed_at":"2026-07-06T04:31:18.041884Z","submitted_at":"2015-09-28T17:22:52Z","title":"Automated Test Case Generation using Petri Nets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1509.08401","snapshot_observed_at":"2026-08-01T07:12:18.074029Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.074029Z"},"links":{"cited_paper":"/paper/1509.08401","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:cf409786158616f4e4fac1f0c01b7bfd9a5dd96b4eb1636a6f6ae0fc2c3e48c3","observation_id":"dc2e8b82-3f8c-40d6-964b-c599b88d8e79","resolution":{"observed_at":"2026-08-01T07:12:18.074029Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.077653Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.077653Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:8844e6216c0f9c6a8c37bbe533c6b569af21bfb16711936a085e2deaeb5ef921","observation_id":"95570fa0-1ffa-4752-a6bc-16f3c470cf2a","resolution":{"observed_at":"2026-08-01T07:12:18.077653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2110.06253","last_updated":"2022-10-04T12:18:24Z","snapshot_observed_at":"2026-08-05T15:40:32.719916Z","submitted_at":"2021-10-12T18:08:38Z","title":"StateAFL: Greybox Fuzzing for Stateful Network Servers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2110.06253","snapshot_observed_at":"2026-08-01T07:12:18.181412Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.181412Z"},"links":{"cited_paper":"/paper/2110.06253","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:736a7ff52ed2453c5c44839b85fb6940d99ca5d8aec7ac27925095e9e57d896d","observation_id":"bdceb7ba-b1e0-46a5-bc49-0ab5f11f1f0b","resolution":{"observed_at":"2026-08-01T07:12:18.181412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2403.16218","last_updated":"2025-05-09T14:33:58Z","snapshot_observed_at":"2026-07-06T17:49:45.103989Z","submitted_at":"2024-03-24T16:18:27Z","title":"CoverUp: Effective High Coverage Test Generation for Python","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.16218","snapshot_observed_at":"2026-08-01T07:12:18.185803Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.185803Z"},"links":{"cited_paper":"/paper/2403.16218","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:67eea9b479cbed332fa64e7afd7a95c225e0181c899564f698ea86fddb151b1d","observation_id":"bb8872d2-dcff-4e28-84fc-5a52d570f902","resolution":{"observed_at":"2026-08-01T07:12:18.185803Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.189037Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.189037Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:dfe86d66f97813afb8c9810cfba3198c4a80a9cb58fe316eb0b4e15931b304ec","observation_id":"96df6925-c495-411c-83e7-b24b2daa3dfb","resolution":{"observed_at":"2026-08-01T07:12:18.189037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.191869Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.191869Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:a9b35cebdfaeeed62a87e0aeb2d4fe789a0339c733c76cf90c3d2c1a9abb0769","observation_id":"8ffea45e-c6ac-4ad5-8f89-50737dd2fd33","resolution":{"observed_at":"2026-08-01T07:12:18.191869Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.194518Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.194518Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:515362f4bbeaa802d87c918fb626f1b4111f73333b905d3baf94b9923608e8dc","observation_id":"128a9da7-77e3-4035-b382-d2bbd1e59b5d","resolution":{"observed_at":"2026-08-01T07:12:18.194518Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.197194Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.197194Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:71b26f6fff9ac184c1e98e31a4f1327ba3e373618307de310240664fda24cd08","observation_id":"8d33322d-519e-40ce-ad52-916d3d6ce30b","resolution":{"observed_at":"2026-08-01T07:12:18.197194Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T07:12:18.199689Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.199689Z"},"links":{"citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:da28d364609ca77eec03dc2eddf24fd966e84af6c57dfd072aa42fa971f4183d","observation_id":"6d8a5752-aa92-43a0-a659-d2586c16f419","resolution":{"observed_at":"2026-08-01T07:12:18.199689Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.04748","last_updated":"2024-12-09T20:47:17Z","snapshot_observed_at":"2026-08-04T17:29:56.960260Z","submitted_at":"2023-08-09T07:36:21Z","title":"Fuzz4All: Universal Fuzzing with Large Language Models","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.04748","snapshot_observed_at":"2026-08-01T07:12:18.202395Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T07:12:18.202395Z"},"links":{"cited_paper":"/paper/2308.04748","citing_paper":"/paper/2607.21530"},"observation_digest":"sha256:49a7d5411f7968dada8f53851cdf78d6c1eafa5af85ce451567fb47034dde31f","observation_id":"60272615-d960-412f-b200-39c88a125b9a","resolution":{"observed_at":"2026-08-01T07:12:18.202395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.21530","last_updated":"2026-07-23T17:15:53Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T00:21:39.747357Z","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":13},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"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."}