Paper Citation Record · LEDGER

Extremal Testing for Network Software using LLMs

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

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

pith.paper-citation-record.v1
2507.11898 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:04:18.649191Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy29
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ebce0a02-244a-42af-b302-bf05097eb409 · outbound

This paper cites uk/resources/the-limiting-case-sublime-or-ridiculous.pdf.

Extremal Testing for Network Software using LLMs uk/resources/the-limiting-case-sublime-or-ridiculous.pdf

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:25.050215Z

Source-reported events for the cited work

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

Observation dd0e29cb-976a-4d07-8712-5795b6972bbf · outbound

This paper cites https://en.wikipedia.org/wiki/Simplex_ algorithm.

Extremal Testing for Network Software using LLMs https://en.wikipedia.org/wiki/Simplex_ algorithm

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:24.841032Z

Source-reported events for the cited work

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

Observation 5c9e0cea-2d8e-490b-89e3-ff1160e663f1 · outbound

This paper cites https://www.boost.org.

Extremal Testing for Network Software using LLMs https://www.boost.org

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:24.685071Z

Source-reported events for the cited work

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

Observation f1149793-87a1-4a20-a940-77b694bafb95 · outbound

This paper cites https://leda.uni- trier.de/leda/guide/graph_algorithms/check_sp.html.

Extremal Testing for Network Software using LLMs https://leda.uni- trier.de/leda/guide/graph_algorithms/check_sp.html

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:24.466039Z

Source-reported events for the cited work

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

Observation e552aa03-3d60-41d1-b057-3c05a15fcdd1 · outbound

This paper cites https://leda.uni-trier.de/leda/guide/ NumberTypes.html.

Extremal Testing for Network Software using LLMs https://leda.uni-trier.de/leda/guide/ NumberTypes.html

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:24.260202Z

Source-reported events for the cited work

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

Observation c7f1a133-a487-49a0-aaa6-2ab3d7e1d1de · outbound

This paper cites https://leda.uni-trier.de/leda/guide/ graph_algorithms/shortest_path_algorithm.html.

Extremal Testing for Network Software using LLMs https://leda.uni-trier.de/leda/guide/ graph_algorithms/shortest_path_algorithm.html

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:24.028129Z

Source-reported events for the cited work

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

Observation 8909b6e3-4321-4f38-b91b-9bf92c227773 · outbound

This paper cites https: //datatracker.ietf.org/doc/html/rfc3986.

Extremal Testing for Network Software using LLMs https: //datatracker.ietf.org/doc/html/rfc3986

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:23.767654Z

Source-reported events for the cited work

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

Observation 837eb422-df03-4ab4-a978-3aa837c04988 · outbound

This paper cites https://datatracker.

Extremal Testing for Network Software using LLMs https://datatracker

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:23.572115Z

Source-reported events for the cited work

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

Observation cac183b2-1859-4f00-b8c3-ee5afbc11c98 · outbound

This paper cites https://datatracker.ietf.org/doc/html/rfc7230.

Extremal Testing for Network Software using LLMs https://datatracker.ietf.org/doc/html/rfc7230

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:23.361376Z

Source-reported events for the cited work

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

Observation 1a3a420f-fddd-4102-a544-76bfa8f7a580 · outbound

This paper cites Self-Reflection in LLM Agents: Effects on Problem-Solving Performance.

Extremal Testing for Network Software using LLMs Self-Reflection in LLM Agents: Effects on Problem-Solving Performance

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:14.824359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29ee9ba9-6a7b-456a-a82a-669ede79321c · outbound

This paper cites https://tetrahedral.

Extremal Testing for Network Software using LLMs https://tetrahedral

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:23.183551Z

Source-reported events for the cited work

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

Observation 6d830c71-a5fd-4112-a21e-a77f2bb153d6 · outbound

This paper cites Aldoseri and D.

Extremal Testing for Network Software using LLMs Aldoseri and D

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:23.029390Z

Source-reported events for the cited work

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

Observation b735a800-e94c-4502-8414-12cbe73b4005 · outbound

This paper cites Alshahwan, J.

Extremal Testing for Network Software using LLMs Alshahwan, J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:22.853562Z

Source-reported events for the cited work

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

Observation d09f9799-3aa6-479d-bef4-d41a26e6ef3c · outbound

This paper cites Afl 2018.

Extremal Testing for Network Software using LLMs Afl 2018

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:22.645780Z

Source-reported events for the cited work

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

Observation d8901771-bc8c-424d-8d96-7d2af7022dfb · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:22.505381Z

Source-reported events for the cited work

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

Observation 6af06c2b-3588-47d8-af17-6a543f84d691 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:22.332239Z

Source-reported events for the cited work

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

Observation 095fcef4-948e-4ac8-ac0b-26e94eeb4078 · outbound

This paper cites Bhat and S.

Extremal Testing for Network Software using LLMs Bhat and S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:22.120769Z

Source-reported events for the cited work

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

Observation f269027c-e4be-49d3-b5c3-9d5f6a260ea9 · outbound

This paper cites Böhme, V.-T.

Extremal Testing for Network Software using LLMs Böhme, V.-T

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.927816Z

Source-reported events for the cited work

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

Observation 80567280-d701-46b5-a58d-4a1f4d1e6a66 · outbound

This paper cites A Formal TLS Handshake Model in LNT.

Extremal Testing for Network Software using LLMs A Formal TLS Handshake Model in LNT

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:15.835570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8f232da-1d43-4a65-9387-8305c030b61d · outbound

This paper cites Cadar, D.

Extremal Testing for Network Software using LLMs Cadar, D

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.787940Z

Source-reported events for the cited work

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

Observation 55218055-1464-4b02-921f-a19728ea4623 · outbound

This paper cites Dashevskyi.

Extremal Testing for Network Software using LLMs Dashevskyi

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.653502Z

Source-reported events for the cited work

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

Observation 4df03cbc-6879-4003-8a7c-bdfe58f80b96 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:21.528843Z

Source-reported events for the cited work

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

Observation d44989f2-065e-4a29-a59d-d84306ee7fcb · outbound

This paper cites Fuzzing DNS zone parsers.

Extremal Testing for Network Software using LLMs Fuzzing DNS zone parsers

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.431255Z

Source-reported events for the cited work

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

Observation a287114e-020a-42a5-95ed-3d486f48c311 · outbound

This paper cites Ganesh and D.

Extremal Testing for Network Software using LLMs Ganesh and D

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.271381Z

Source-reported events for the cited work

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

Observation b6bfd13d-1727-48d1-a44d-f48bb0b662eb · outbound

This paper cites Godefroid, N.

Extremal Testing for Network Software using LLMs Godefroid, N

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:21.134839Z

Source-reported events for the cited work

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

Observation e3b59b0d-a0b4-459c-8adc-ddc85479dae2 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:20.992716Z

Source-reported events for the cited work

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

Observation 05f6f38e-aebe-4f70-a9bf-16966064c7dc · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:20.876583Z

Source-reported events for the cited work

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

Observation fa5370d5-d654-486a-aed4-1232b7b76b62 · outbound

This paper cites Eywa: Automating Model Based Testing using LLMs.

Extremal Testing for Network Software using LLMs Eywa: Automating Model Based Testing using LLMs

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T17:04:16.697979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d9a6ecc-7da4-45a4-b588-ac16e432707a · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:20.695283Z

Source-reported events for the cited work

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

Observation 3e3a1479-ae9e-4fae-87b5-1617c352f3b3 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:20.585834Z

Source-reported events for the cited work

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

Observation 726cbba0-3bfb-42d5-94a4-61f4e3913aae · outbound

This paper cites Dns-fuzz.

Extremal Testing for Network Software using LLMs Dns-fuzz

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:20.496342Z

Source-reported events for the cited work

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

Observation ecaeb7bb-178a-4080-a58a-d8534b0170ca · outbound

This paper cites https://peachtech.gitlab.io/peach-fuzzer-community/.

Extremal Testing for Network Software using LLMs https://peachtech.gitlab.io/peach-fuzzer-community/

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:20.327883Z

Source-reported events for the cited work

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

Observation 1368dbd3-3b9b-492b-840d-3c9659e74776 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:20.185108Z

Source-reported events for the cited work

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

Observation d26db56e-7d8a-4c43-b341-71600e6a0a8c · outbound

This paper cites Ramachandran.

Extremal Testing for Network Software using LLMs Ramachandran

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:20.059533Z

Source-reported events for the cited work

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

Observation 9aabbda5-904f-4c43-b2cb-0a5f1cf69988 · outbound

This paper cites Reynolds, A.

Extremal Testing for Network Software using LLMs Reynolds, A

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:19.961865Z

Source-reported events for the cited work

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

Observation b47b745f-7906-4d32-a546-5b5b18036a5b · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:19.811409Z

Source-reported events for the cited work

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

Observation fa7c9fe2-cefc-4ae7-8739-0b2e12a1e854 · outbound

This paper cites Sholeh, I.

Extremal Testing for Network Software using LLMs Sholeh, I

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:19.694283Z

Source-reported events for the cited work

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

Observation c1cc3719-90a2-4817-8b70-59e6faae52fb · outbound

This paper cites Singha, R.

Extremal Testing for Network Software using LLMs Singha, R

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:19.562499Z

Source-reported events for the cited work

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

Observation 0251d4dd-d199-429a-8669-4f0d44d80561 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:19.411780Z

Source-reported events for the cited work

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

Observation 1d9f078d-9708-48f9-a0ee-b6b2b06e4615 · outbound

This paper cites an unresolved cited work.

Extremal Testing for Network Software using LLMs Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-06T17:04:19.248783Z

Source-reported events for the cited work

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

Observation d0ff3fa2-413d-4420-b168-97fa105a7225 · outbound

This paper cites White, T.-R.

Extremal Testing for Network Software using LLMs White, T.-R

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:19.115815Z

Source-reported events for the cited work

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

Observation fe3809ed-e0df-4fd5-8f72-16c6b40375a2 · outbound

This paper cites Zhang, T.

Extremal Testing for Network Software using LLMs Zhang, T

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:18.965669Z

Source-reported events for the cited work

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

Observation e5fdbc84-25b3-446f-954f-4f68e7349967 · outbound

This paper cites zzuf: multi-purpose fuzzer.

Extremal Testing for Network Software using LLMs zzuf: multi-purpose fuzzer

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:04:18.835682Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.