{"as_of":"2026-08-09T12:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3e316041ccbc1f0fc0c4ad4e0f3ba9185afe2cc72f93d994d6dd1e3a951d158a","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-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/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-07T03:31:22.059751Z","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:4bd9fd14f9f8e84ba13e669eefc7fd3ec41ad2c6b53866647d7cf815f16a12c4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:48a2c8fc5948f38eee8de0bf5987da772e23e1681c4f18aa0bccae0997e9b737","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:266b2babfd654a12ccb56b374991832d8209e39802cd9a0957847ff506ce2902","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:9e4342632bfdeb9050c8473fb1c1c06917c75064c092db20bbeec84f3a486e43","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:9f6f43773f62bf2fb983f2173643daf994c2d5cffdba1c55c338dc5a4c233dde","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:d69a4969d0309b8a6a9fb5604ded0569866223c087bebf06ba40238e0eaf7cb4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:cc8f2fe76223bfb2c4cce9e93b770d75d02e00913a1f173f1eaabcb1b9f5b677","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:6ed1ca69e7885e8cec5294f087396aa1eee18c7aaaf19823dbb2aa5eabc4a17e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:3a220e0ac8c60c2a2149800ca986b4bd1165eaa85c9c6e51d29a8de5da598e1c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:1d6c00f6464b674fb436ce59714ed66058b3527adf8753e3930f2d7767e57df1","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-07T03:31:22.059751Z","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:aa3e6e35b679f743ae7dad946b92b88cc79567fc355941dbeb8a91202c6b0c44","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:bb5ea2327de637e0d2a998fcc1e170bdad8861865b9730edb25cde7e8dac499c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:6c46b3b7825292e1ec63cb64cceb909338a2fb022cb0605d253de09c24899a0b","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:42650b1081c04bea0da029b4ca404fd957b9473b12f2ff1f8dcf66c47379b412","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:a1a187f421efd856d4bd0c81925815b766e588a2dec071940cdb4e1ede92da55","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:6bebb430c27bac66767c3392bf2f2322fd1939d13cd7ac772f07a924f7b1f2ad","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:20359020e4363abf1a71c75d8b9fa5c98dacaeba7f442adcecaf24b0c15708c8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:f65b5c79f188c447217fc01cdab624217c7c0a5f366fb8b45462cb05a7f523d0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:75d22ec8047c236fc52b485a6db62d04381d0b0404784e9ac2345f97e2329464","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-07T03:31:22.059751Z","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:e244984e230ce916d34d3393d0a2ad4710dfe090958b188835dcd427401b4c8c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:8bfecc4d8757a84e031b97c857326edd220acb004261a575b52982fa2db4c548","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:a29c4dec7bc2cdae0c2a2daff6f658d3c6dba07092cde5feb8c58e0afc8b08d5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:70ce0fdd4ebbc9b20a48686501a7ab4d23c29648d8db47c90dbe308e075a73e7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:91356dbf76e16103c0c8c92761e7580732631346eed34ac0968ece0885a7e499","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:0e87ed68cc60e36c43c5451d923532de47c8f61e32e35d467165c05ee986d6e0","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:1cd5f84281deb975fe5a08a4110dc7a54f040761bc17136576644ef1189a180d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:f37fcdb2c4a2330772dad5aa39c1701119791787e7e8f69d18557deb0fc56ce7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:cd35e8fe3aee6113bd7a0d64dc8676a0d9feda6d2e5646204048a602414555b9","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-07T03:31:22.059751Z","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:a0d161def6516c537043073e1c5d78b01a3662202f898e060a6171e5a021997c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:14ee01bb24a1bb863df91c17b596aa99d382de1de642ea34210efb423a867127","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:64976929b1d37572fce4e1c67c02d4111fce2b831ab485932ab66cff68504e71","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:f863170b47456416f4e5791ba28c99ad2ab4646f0a432f8432a0d2fe30fc9a1d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:25bf45fd0039d655acd05a7efceea1f20dc2ebf576892cbf92456d0f4459afe1","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:9bca98b3544af5b0008651e762c141f47b0faeefc017c6505f6aff07b6cfd2ba","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:f5d694a5b2c09fa5a10d1af165eaa9230ce41ee2c3562182e956af9356a9fc84","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:011bdaea119efa3ef0cf17493d83c24d83d97551c464143c18d52b05ff28e1ce","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:c160d00710f279a864b8f33e8af1aaa9cd7be34d097138d74ff3ef26096218c8","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:0af9c8767496d10d6719a792c683ee3aef42f591e02819e75d48c94023a5c967","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:d7b37ac525bbfbce4aecdb1b68336330b06d42b29d12a6e948e5cf308ed4f757","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:7b2d1cf75a38a3f83b31f0d6478cccd807851b8db45a44e2f34c9f57d7051542","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:27d2323d9193659cf68a5b7325617f133f569dfe45e67e9b4657dd960faeea78","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:6bf40c0da11274f671610e4108b42d4f5a7980def0a208031c91e26c79ef7255","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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:6495c3dc0df2782ec899e2ff41a915b64a8eb1639cd50b53e63d3c9467ed8151","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"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"}],"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-07T03:31:22.059751Z","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-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 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2507.11898."}