{"as_of":"2026-08-10T18:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e817f2765d992bfd3e2003054ce6701011bcdc61165187d1dec1e17345d85f93","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:04:18.649191Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2507.11898/citation-record","integrity":"/paper/2507.11898/integrity","json":"/paper/2507.11898/citation-record.json","paper":"/paper/2507.11898"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:24.952918Z","title":"uk/resources/the-limiting-case-sublime-or-ridiculous.pdf","venue":null,"work_id":"a1388f86-7894-48fa-9f9c-82ccd48689f4","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.255041Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:a26af15a36897ca62d36c90daff678db2e51c1e816980bbf31e3e29764d11fab","observation_id":"ebce0a02-244a-42af-b302-bf05097eb409","resolution":{"observed_at":"2026-08-06T17:04:25.050215Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:24.770749Z","title":"https://en.wikipedia.org/wiki/Simplex_ algorithm","venue":null,"work_id":"7bfed6e1-3c50-4698-ba05-fed1f0b1d609","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.304307Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:1e1e78ea57c29c37046b63b8d07d77761fbb7cd7f5d798dc28c7c7b07e46081a","observation_id":"dd0e29cb-976a-4d07-8712-5795b6972bbf","resolution":{"observed_at":"2026-08-06T17:04:24.841032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:24.579843Z","title":"https://www.boost.org","venue":null,"work_id":"823d2fd9-6341-4fd7-be68-9347fd74a579","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.385446Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:2e3f572b49814abc4c5507f7f23bbd043dc903d6df198dedfef52fb89609095c","observation_id":"5c9e0cea-2d8e-490b-89e3-ff1160e663f1","resolution":{"observed_at":"2026-08-06T17:04:24.685071Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:24.384523Z","title":"https://leda.uni- trier.de/leda/guide/graph_algorithms/check_sp.html","venue":null,"work_id":"e7bfc9ad-dab2-4091-aedc-d163562c22a2","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.436626Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:e9f711bf00600d1a810a3bbe5cd5ba87b37e569da565186c3559660dbde5d937","observation_id":"f1149793-87a1-4a20-a940-77b694bafb95","resolution":{"observed_at":"2026-08-06T17:04:24.466039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:24.131101Z","title":"https://leda.uni-trier.de/leda/guide/ NumberTypes.html","venue":null,"work_id":"0360e10e-0c70-411b-8961-76a163fa68cd","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.505736Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:5397d388bfb136247bc02c29736beb69153b683311e5b010867e3e0cb0393ef8","observation_id":"e552aa03-3d60-41d1-b057-3c05a15fcdd1","resolution":{"observed_at":"2026-08-06T17:04:24.260202Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:23.945077Z","title":"https://leda.uni-trier.de/leda/guide/ graph_algorithms/shortest_path_algorithm.html","venue":null,"work_id":"f966c831-0d16-417e-b24b-9a82de869f85","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.557702Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:709da31a606d9b12ab425c4c1bb6153e27c8aa90e78b799dabec611a25121f3e","observation_id":"c7f1a133-a487-49a0-aaa6-2ab3d7e1d1de","resolution":{"observed_at":"2026-08-06T17:04:24.028129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:23.684837Z","title":"https: //datatracker.ietf.org/doc/html/rfc3986","venue":null,"work_id":"0fde3ef2-464a-41f5-97d9-1fab445ea2ed","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.633769Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:2a23c307bf5bef2e1ec8def4c7f4acc0410f6b11051a26d5a6b14e450a2c0b0e","observation_id":"8909b6e3-4321-4f38-b91b-9bf92c227773","resolution":{"observed_at":"2026-08-06T17:04:23.767654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:23.499879Z","title":"https://datatracker","venue":null,"work_id":"877c4ef6-879f-4239-939c-36ef3d97d044","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.739252Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:04221e125db641cb6357a2c575a05c7be93cdba8fd533645cca1bc4012b60bbd","observation_id":"837eb422-df03-4ab4-a978-3aa837c04988","resolution":{"observed_at":"2026-08-06T17:04:23.572115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:23.268543Z","title":"https://datatracker.ietf.org/doc/html/rfc7230","venue":null,"work_id":"06c361f2-dd38-4e84-b7ca-397d817360ee","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.819869Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:1e23a129b45a0e11b54c3db3e8a77fe6fff6d77d4d425956c1f83351aca38ea1","observation_id":"cac183b2-1859-4f00-b8c3-ee5afbc11c98","resolution":{"observed_at":"2026-08-06T17:04:23.361376Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06682","last_updated":"2024-10-16T23:19:46Z","snapshot_observed_at":"2026-08-09T03:34:21.327905Z","submitted_at":"2024-05-05T18:56:46Z","title":"Self-Reflection in LLM Agents: Effects on Problem-Solving Performance","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06682","snapshot_observed_at":"2026-08-06T17:04:14.824359Z","title":"https://arxiv.org/abs/2405.06682","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.824359Z"},"links":{"cited_paper":"/paper/2405.06682","citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:55088b8b253c184b43f27cdcc406f064b9c40c49cf682f52f18c8b1ca58db226","observation_id":"1a3a420f-fddd-4102-a544-76bfa8f7a580","resolution":{"observed_at":"2026-08-06T17:04:14.824359Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:23.108980Z","title":"https://tetrahedral","venue":null,"work_id":"3370bd5f-32a4-4857-8e54-1f2ac3461f5e","year":2011},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.868241Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:cf4589d9b028bd1fa0c905a7efc08535133ab5dd3d209197f7f73a7227c626c9","observation_id":"29ee9ba9-6a7b-456a-a82a-669ede79321c","resolution":{"observed_at":"2026-08-06T17:04:23.183551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.925249Z","title":"Aldoseri and D","venue":null,"work_id":"dfb55ed2-80f3-418d-ab6a-4f2fb0d69698","year":2022},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:14.923249Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:0acaa98d98cd2e31a1d2a7510e6a02d5b40219e8f84be8e2afe1b140b2dbb762","observation_id":"6d830c71-a5fd-4112-a21e-a77f2bb153d6","resolution":{"observed_at":"2026-08-06T17:04:23.029390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.731715Z","title":"Alshahwan, J","venue":null,"work_id":"76d8f88a-b6a3-4ec6-b0a4-fc87cc086066","year":2024},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.008519Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:2c09d9744e66957d5d4a845b0740907e862d99526fa7ca23c0888bacb95ea910","observation_id":"b735a800-e94c-4502-8414-12cbe73b4005","resolution":{"observed_at":"2026-08-06T17:04:22.853562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.573220Z","title":"Afl 2018","venue":null,"work_id":"f4f1a575-4c54-491c-9dfc-a93100b33dda","year":2018},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.148462Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:a16b258a5b4efcebbc5ca7681ebd263e1b963904dcbf003045c525732e057b65","observation_id":"d09f9799-3aa6-479d-bef4-d41a26e6ef3c","resolution":{"observed_at":"2026-08-06T17:04:22.645780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.425084Z","title":null,"venue":null,"work_id":"5b9f6483-f1a6-41b5-9631-9bc5972649a3","year":2008},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.212984Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:6523d27116123ba988d7a1c2a25d80a214a2c02957ef94b7c71a7307af3fb741","observation_id":"d8901771-bc8c-424d-8d96-7d2af7022dfb","resolution":{"observed_at":"2026-08-06T17:04:22.505381Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.217857Z","title":null,"venue":null,"work_id":"3d15283d-e6a0-4160-a56a-8349ea92d0d8","year":2015},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.390430Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:f88e71a22a3da3ba74829d92e1816ce5179467107f3d870e6062d7ab185daa78","observation_id":"6af06c2b-3588-47d8-af17-6a543f84d691","resolution":{"observed_at":"2026-08-06T17:04:22.332239Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:22.002101Z","title":"Bhat and S","venue":null,"work_id":"8d8b5aa5-fb4a-40cc-af39-2c5986d2f204","year":2015},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.484952Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:afe2ff1284a6b0f83ff95a9fdae68f2e50d8966c5c67201a14de3ebd93b146bf","observation_id":"095fcef4-948e-4ac8-ac0b-26e94eeb4078","resolution":{"observed_at":"2026-08-06T17:04:22.120769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.875025Z","title":"Böhme, V.-T","venue":null,"work_id":"6fac34a8-f359-48f6-b598-8aa7e256e1d8","year":2016},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.615087Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:778b5705467687baf3a3b054fd86335f0a1a5384ddfd6bfc05c9e3e016555761","observation_id":"f269027c-e4be-49d3-b5c3-9d5f6a260ea9","resolution":{"observed_at":"2026-08-06T17:04:21.927816Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1803.10319","last_updated":"2018-03-27T20:58:24Z","snapshot_observed_at":"2026-07-06T06:30:33.354897Z","submitted_at":"2018-03-27T20:58:24Z","title":"A Formal TLS Handshake Model in LNT","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.10319","snapshot_observed_at":"2026-08-06T17:04:15.835570Z","title":"Bozic, L","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.835570Z"},"links":{"cited_paper":"/paper/1803.10319","citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:e3311cd11f26d80e30a04bc21b29e30dc3f6b6545e2af8cc4b3b85138da9db50","observation_id":"80567280-d701-46b5-a58d-4a1f4d1e6a66","resolution":{"observed_at":"2026-08-06T17:04:15.835570Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.701676Z","title":"Cadar, D","venue":null,"work_id":"d69c5397-9d66-4faf-8a42-9733f023baea","year":2008},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:15.919740Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:20bcb43dc13312eea7b9bd574968c81385859e365dba23005f56d8e60d17ce06","observation_id":"d8f232da-1d43-4a65-9387-8305c030b61d","resolution":{"observed_at":"2026-08-06T17:04:21.787940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.597128Z","title":"Dashevskyi","venue":null,"work_id":"05876967-c31a-4c45-b782-95c818eb762c","year":2023},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.019298Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:e4309ab71e7931038759e3cda97dd5c9e77d13c11e15bfbaefef2fa9e6386437","observation_id":"55218055-1464-4b02-921f-a19728ea4623","resolution":{"observed_at":"2026-08-06T17:04:21.653502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.481626Z","title":null,"venue":null,"work_id":"95f446ff-9090-42d7-aa09-ff8ff6e885dc","year":2023},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.114238Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:5bf4abcbcb82cfd5867649eaf32a35919be0cce4fb9b490e7b88130d2cb35102","observation_id":"4df03cbc-6879-4003-8a7c-bdfe58f80b96","resolution":{"observed_at":"2026-08-06T17:04:21.528843Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.362772Z","title":"Fuzzing DNS zone parsers","venue":null,"work_id":"bb817e84-a437-4810-8926-8cefc08764f8","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.242780Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:78198af1e6248fe2a8c75406572923ecc2077f7423ecb9b7b8ca1983e236e0e3","observation_id":"d44989f2-065e-4a29-a59d-d84306ee7fcb","resolution":{"observed_at":"2026-08-06T17:04:21.431255Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.191184Z","title":"Ganesh and D","venue":null,"work_id":"6084441c-314f-4ec6-b0ae-2c10261f13d9","year":2007},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.349595Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:92fca8f5bc1147282df5d8542a677a30baffd1b6560f2524e15c693cef569b01","observation_id":"a287114e-020a-42a5-95ed-3d486f48c311","resolution":{"observed_at":"2026-08-06T17:04:21.271381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:21.075436Z","title":"Godefroid, N","venue":null,"work_id":"a324be50-1c5c-4a83-a830-030eefb9c1ef","year":2005},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.457007Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:a0d00a9f17efbf7515ca8cfa55c7247d72d786c3b411373cfade10b63d64f5d4","observation_id":"b6bfd13d-1727-48d1-a44d-f48bb0b662eb","resolution":{"observed_at":"2026-08-06T17:04:21.134839Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.936732Z","title":null,"venue":null,"work_id":"7345d383-13a9-45f7-85d1-365fe57cb59b","year":2025},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.550098Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:4232239f23d4f62161f8379cb194b6260237f0fade54ce3e5d364a26867a90ab","observation_id":"e3b59b0d-a0b4-459c-8adc-ddc85479dae2","resolution":{"observed_at":"2026-08-06T17:04:20.992716Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.786229Z","title":null,"venue":null,"work_id":"2cac6129-a43c-49a1-8cdb-c2ebb623f4bb","year":2013},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.608245Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:013096ffd51d24c0abee6cbf80000793a55811aa76e7f028dc3fbdd2b734359a","observation_id":"05f6f38e-aebe-4f70-a9bf-16966064c7dc","resolution":{"observed_at":"2026-08-06T17:04:20.876583Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.06875","last_updated":"2025-07-16T01:15:36Z","snapshot_observed_at":"2026-07-06T17:00:07.785020Z","submitted_at":"2023-12-11T22:51:15Z","title":"Eywa: Automating Model Based Testing using LLMs","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.06875","snapshot_observed_at":"2026-08-06T17:04:16.697979Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.697979Z"},"links":{"cited_paper":"/paper/2312.06875","citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:f1a5429d758540152d4b574afb08d6633ae07a5ef29aca5031e1bb3616b00dbf","observation_id":"fa5370d5-d654-486a-aed4-1232b7b76b62","resolution":{"observed_at":"2026-08-06T17:04:16.697979Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.641583Z","title":null,"venue":null,"work_id":"8e5bf217-76bf-42fb-8df2-662cdbc6a165","year":2022},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.770068Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:d98d7521621d59e338e8f4b076908e6090b371322e6282b0d0d8078bc685aa0a","observation_id":"9d9a6ecc-7da4-45a4-b588-ac16e432707a","resolution":{"observed_at":"2026-08-06T17:04:20.695283Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.550666Z","title":null,"venue":null,"work_id":"5b4bb542-f149-492b-a0ce-42421c6135bc","year":2015},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:16.871707Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:e45d00fa5dec8110a406092fcbcd78632eac167d80efa34340f42b27683f7a04","observation_id":"3e3a1479-ae9e-4fae-87b5-1617c352f3b3","resolution":{"observed_at":"2026-08-06T17:04:20.585834Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.441605Z","title":"Dns-fuzz","venue":null,"work_id":"949b263b-cf76-4dd8-987f-77b14b8e5799","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.007874Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:6143fd976ad2fd4e44690a937d45d78c70ef20c10e10e5bc811ee6c33e751b95","observation_id":"726cbba0-3bfb-42d5-94a4-61f4e3913aae","resolution":{"observed_at":"2026-08-06T17:04:20.496342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.248056Z","title":"https://peachtech.gitlab.io/peach-fuzzer-community/","venue":null,"work_id":"ef2d3a74-3c33-486c-b867-374200f5e805","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.116958Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:76685696b3a91adea29aeea4a3a78eddae44d241d81564a6607c8d489a15b092","observation_id":"ecaeb7bb-178a-4080-a58a-d8534b0170ca","resolution":{"observed_at":"2026-08-06T17:04:20.327883Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.126569Z","title":null,"venue":null,"work_id":"7abf7d08-7c8a-4789-80ff-a0f238a197e5","year":2024},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.268359Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:7788cd266ba4c887281d12fcb776a8c090f8889acb920c3a3710b15d8205e324","observation_id":"1368dbd3-3b9b-492b-840d-3c9659e74776","resolution":{"observed_at":"2026-08-06T17:04:20.185108Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:20.009983Z","title":"Ramachandran","venue":null,"work_id":"bac770c2-ddb5-4808-b2dc-28dba43efc67","year":2003},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.473955Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:b5afeee4af560c4236e54b49ed8af6c6bf84366fbd870ac83d12e73683a2a7ae","observation_id":"d26db56e-7d8a-4c43-b341-71600e6a0a8c","resolution":{"observed_at":"2026-08-06T17:04:20.059533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.901127Z","title":"Reynolds, A","venue":null,"work_id":"33ddd337-3be7-4bac-8d7c-9e9b1f118ec5","year":2022},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.676426Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:06a6f5a0f3bd947cc8841ef8b3f7ea430910752b00d293d956972cc222652a36","observation_id":"9aabbda5-904f-4c43-b2cb-0a5f1cf69988","resolution":{"observed_at":"2026-08-06T17:04:19.961865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.761741Z","title":null,"venue":null,"work_id":"313e2a3f-447b-44b0-91da-b63a37e0a4ce","year":2005},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.829219Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:442a75dce5dc3bfd9b6c2b3156529da996d1a20468b1cb17ea16f1ccb4a7999e","observation_id":"b47b745f-7906-4d32-a546-5b5b18036a5b","resolution":{"observed_at":"2026-08-06T17:04:19.811409Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.618114Z","title":"Sholeh, I","venue":null,"work_id":"8aad0240-3d45-4b0f-9642-9cbaf6b66ed0","year":2021},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:17.974129Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:9b79047fbbc86459d25571b48198455eb0441efc845194c8053a130134feb225","observation_id":"fa7c9fe2-cefc-4ae7-8739-0b2e12a1e854","resolution":{"observed_at":"2026-08-06T17:04:19.694283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.503741Z","title":"Singha, R","venue":null,"work_id":"54a99c21-c176-4851-bc6f-859dee8dbb41","year":2024},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.126573Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:48691599956ba99cd564f8c8ccd6ed8e9d7fd779a1c24170fed044faafd581fb","observation_id":"c1cc3719-90a2-4817-8b70-59e6faae52fb","resolution":{"observed_at":"2026-08-06T17:04:19.562499Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.332421Z","title":null,"venue":null,"work_id":"c347eb37-e27e-4081-b070-1c62ea8f0bc6","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.236224Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:5e9b8d222c48d94ccf213c869c8353b84b3e6edb64b7f41001dba8b45631e129","observation_id":"0251d4dd-d199-429a-8669-4f0d44d80561","resolution":{"observed_at":"2026-08-06T17:04:19.411780Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.181573Z","title":null,"venue":null,"work_id":"951c8079-fff4-4e77-b5e0-843ebef0c5c0","year":2024},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.317398Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:ded91a8f7ab66e2a5e31d0e52b5aba6cb5021be7be0eeeae6b62545880d356e5","observation_id":"1d9f078d-9708-48f9-a0ee-b6b2b06e4615","resolution":{"observed_at":"2026-08-06T17:04:19.248783Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:19.039947Z","title":"White, T.-R","venue":null,"work_id":"eda32766-175e-4b6d-af0a-cfc939c49bf0","year":2023},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.467596Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:ecadbe99df8b3eccde6b51e6f4d7e3cca8d28e85d752c46c28ce29ea9332b755","observation_id":"d0ff3fa2-413d-4420-b168-97fa105a7225","resolution":{"observed_at":"2026-08-06T17:04:19.115815Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:18.908661Z","title":"Zhang, T","venue":null,"work_id":"400546ec-d855-4828-ae57-1216a2c95a04","year":2015},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.561838Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:414d43e4800ae3ba2d951b36b27b6231b41fe69f829ae9501a8ad8a3db8648d4","observation_id":"fe3809ed-e0df-4fd5-8f72-16c6b40375a2","resolution":{"observed_at":"2026-08-06T17:04:18.965669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:04:18.773793Z","title":"zzuf: multi-purpose fuzzer","venue":null,"work_id":"ce914675-69e5-4d53-9911-0b32fb462cba","year":null},"citing_paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:04:18.649191Z"},"links":{"citing_paper":"/paper/2507.11898"},"observation_digest":"sha256:4b6e7025d3e8960de2fd82d7514a6da69b9d988af2979d62ff0fbfb20a88a043","observation_id":"e5fdbc84-25b3-446f-954f-4f68e7349967","resolution":{"observed_at":"2026-08-06T17:04:18.835682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.11898","last_updated":"2025-07-16T04:29:49Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-10T00:48:00.458040Z","submitted_at":"2025-07-16T04:29:49Z","title":"Extremal Testing for Network Software using LLMs"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":29},"total_outbound_references":43},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2507.11898."}