{"as_of":"2026-08-11T00:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a8795160b05fdd104f444fc2b838490821ad44e67cde8a0565f2cb8fab9ed6e4","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-06T21:24:01.826050Z","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.00378/citation-record","integrity":"/paper/2507.00378/integrity","json":"/paper/2507.00378/citation-record.json","paper":"/paper/2507.00378"},"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-06T21:24:09.912897Z","title":"Llmif: Augmented large language model for fuzzing iot devices,","venue":null,"work_id":"b6af7a76-98bb-4a13-9fc9-88644bcd7f8f","year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.390419Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ce03e622f7da678c385a22dd9945b12c24bcaca4030d0245eeba2d590da8a45c","observation_id":"896f11bf-dd22-42a7-a091-673d0875ca13","resolution":{"observed_at":"2026-08-06T21:24:10.081429Z","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-06T21:24:09.598284Z","title":"Autodroid: Llm-powered task automation in android,","venue":null,"work_id":"c5bfd0d2-0dcd-40c8-b928-66d15486aacb","year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.453463Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:3ab3969c562d1315aa2060a2a4071002228ee901c93668b7a0d12431a0853a13","observation_id":"c939e701-d406-4c6c-9651-8d0ac2376210","resolution":{"observed_at":"2026-08-06T21:24:09.760350Z","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":"2412.18116","last_updated":"2025-05-06T12:24:43Z","snapshot_observed_at":"2026-08-06T13:26:51.992787Z","submitted_at":"2024-12-24T02:54:56Z","title":"AutoDroid-V2: Boosting SLM-based GUI Agents via Code Generation","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.18116","snapshot_observed_at":"2026-08-06T21:23:57.528750Z","title":"Autodroid-v2: Boosting slm-based gui agents via code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.528750Z"},"links":{"cited_paper":"/paper/2412.18116","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:e8fc3ae5ac371915d1667ca594f696c1bb9e1010d8875465f69c22c68ee86523","observation_id":"2cbafb4b-33e7-4529-8ad8-927f3620c854","resolution":{"observed_at":"2026-08-06T21:23:57.528750Z","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-06T21:24:09.296250Z","title":"(2024) Rsocket","venue":null,"work_id":"5601bc0f-bf11-4d3c-bf6a-fb6605da1b1d","year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.611729Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:2859ab3bfef84662bc74258e22bf446fd2ad7f172eafcc49f6d2064452880224","observation_id":"970371ef-6cc3-4577-803e-90e5baf398f9","resolution":{"observed_at":"2026-08-06T21:24:09.437376Z","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-06T21:24:08.937155Z","title":"(2025) rsocket-py","venue":null,"work_id":"f151375d-3a09-41e1-baac-a52807554f9a","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.693945Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:b0a4ba48b938de55944ca47e9814c3860d6489c66bcfcfad90fefb4a881240d7","observation_id":"f52c37c0-ae22-4ada-9ca2-84e36a97dec4","resolution":{"observed_at":"2026-08-06T21:24:09.094632Z","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-06T21:24:08.615694Z","title":"Blind software- assisted conformance and security assessment of fido2/webauthn imple- mentations","venue":null,"work_id":"284ce58f-4013-44c5-83bf-862e9ebae0a5","year":2022},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.786048Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:f30fa96157b0308b8dda290fc57e80656fbcc6f670d71ed9b68c48917294754d","observation_id":"f5ecb336-5de7-4bfc-88e1-5694f33e85da","resolution":{"observed_at":"2026-08-06T21:24:08.779814Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:23:57.880767Z","title":"An llm agent for functional bug detection in network protocols,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.880767Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ef3d6d78d50bb5dfecebd588fdd153a3dd980a0bf6bc2bded5c56b8e660bc641","observation_id":"92ed0f8a-c552-4d46-998e-284cc401951b","resolution":{"observed_at":"2026-08-06T21:23:57.880767Z","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-06T21:24:08.350060Z","title":"Rfc 7252: The constrained application protocol (coap),","venue":null,"work_id":"c80924da-cf3c-4742-84d4-658eec1698bf","year":2014},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:57.976697Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:c25993e434881e91b5f4a1f10e316cac431d0c95436604a5ed6427549d5409a3","observation_id":"2c3ae38b-ef27-4011-932e-d95d289c041e","resolution":{"observed_at":"2026-08-06T21:24:08.461476Z","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-06T21:24:08.020936Z","title":null,"venue":null,"work_id":"99f4b932-6e6a-4fb1-9d1e-c5c5e15da471","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.053196Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ce1fa862c32f6e47857f77787c98a769520d6d5231d07711ff0b0fcd3c4c95bc","observation_id":"7f36af41-2068-4526-8466-f1fedc59dfd8","resolution":{"observed_at":"2026-08-06T21:24:08.169315Z","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-06T21:24:07.744409Z","title":"Automated software test data generation with generative adversarial networks,","venue":null,"work_id":"4269bc12-2641-41af-9f2a-be5ee9d7ede8","year":2022},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.124400Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ffc76eddad9b0a1f9ef9f10cd0701cdcbe7d661549348e7db9e0a87a379cfd53","observation_id":"eb28f81a-b653-4bae-8a23-99c2d973f6fb","resolution":{"observed_at":"2026-08-06T21:24:07.895052Z","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-06T21:24:07.407647Z","title":"(2025) gpt-o3-pro","venue":null,"work_id":"1e648150-6074-4a73-8b77-04b90536e9fa","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.211078Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:6e3970b7ba7efc9110e835ac77eaa954330d1ca9a4d8c255ef8e37c12ccbfc80","observation_id":"b78793b6-e14c-4cea-824c-b84115357b95","resolution":{"observed_at":"2026-08-06T21:24:07.551419Z","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":"2410.21276","last_updated":"2024-10-25T17:43:01Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-10-25T17:43:01Z","title":"GPT-4o System Card","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.21276","snapshot_observed_at":"2026-08-06T21:23:58.279467Z","title":"Gpt-4o system card,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.279467Z"},"links":{"cited_paper":"/paper/2410.21276","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:e2506d273cbdad59e7af91abb8c8ac296fc235b711cecbf43d8d98322ee16c1a","observation_id":"277a5fc8-324b-4b32-8c11-95590c27033e","resolution":{"observed_at":"2026-08-06T21:23:58.279467Z","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-06T21:24:07.153333Z","title":"(2025) deepseek-r1","venue":null,"work_id":"6f606021-762e-44c5-accd-fb4d1dc73c21","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.347570Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:5fdacd3ed1196e050e9179e90131a1fa823a8a234b705d13d723b44e8fead08f","observation_id":"58aed50c-14a9-46a4-b077-59b908507403","resolution":{"observed_at":"2026-08-06T21:24:07.270615Z","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-06T21:24:06.884740Z","title":"(2025) deepseek-v3","venue":null,"work_id":"c2fc1272-cf63-4ef6-b6ee-65300a4041cb","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.414497Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:77500fa4c4be8380a2d8323a4cc5d927110df9db2daca83fdb0d82c4937f296a","observation_id":"48d04bf3-2a9a-4be9-bc34-a58630a789ca","resolution":{"observed_at":"2026-08-06T21:24:07.029838Z","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-06T21:24:06.621299Z","title":"(2025) claude-opus-4","venue":null,"work_id":"784d8d6e-1ce3-4b32-99fd-4fb81e72af64","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.501723Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:9185659e442971c0cc9c1aff6a4f5ed422a299df745f06cad143df3214cac651","observation_id":"1c2acec3-319a-4a74-81ed-4c66a187a45f","resolution":{"observed_at":"2026-08-06T21:24:06.731688Z","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-06T21:24:06.400107Z","title":"(2025) Gemini-2.5-pro","venue":null,"work_id":"65d1e407-ddf4-4cb5-a544-30c1fab984dc","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.592497Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:59274ed50c0c372d063240dd7181e110bed84544168cdda11b4accc5bda8b368","observation_id":"3404d728-0649-4e2d-9c7c-b0267e879ccb","resolution":{"observed_at":"2026-08-06T21:24:06.529331Z","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":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-08-06T21:23:58.683379Z","title":"Qwen2. 5-coder technical report,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.683379Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:a3c2f37d91d7f562586e728306f81d79af5213e6da2e023756c8e4682a62149f","observation_id":"6d3e9f10-ffb8-4b35-914c-5b84783f12d3","resolution":{"observed_at":"2026-08-06T21:23:58.683379Z","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-06T21:24:06.059008Z","title":"(2024) text-embedding-3-large","venue":null,"work_id":"d2fe4118-4c74-4fa1-a3ae-1407f6c45bdb","year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.762829Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ccbe504839287e55dad3a61a2e6778b3e7e30398ae56069b38d3b235137358ed","observation_id":"65a12cb7-0a40-483d-a5ec-b7e783d5d35b","resolution":{"observed_at":"2026-08-06T21:24:06.238647Z","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":"2503.05346","last_updated":"2025-03-07T11:40:52Z","snapshot_observed_at":"2026-08-07T17:22:22.413217Z","submitted_at":"2025-03-07T11:40:52Z","title":"AutoIOT: LLM-Driven Automated Natural Language Programming for AIoT Applications","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2503.05346","snapshot_observed_at":"2026-08-06T21:23:58.880686Z","title":"Autoiot: Llm-driven automated natural language programming for aiot applications,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.880686Z"},"links":{"cited_paper":"/paper/2503.05346","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:0314b82393b26b34aa6742c8f4d22ff678c8dd8156976cdd3cfa4e32af246030","observation_id":"7c2210dc-44c8-4272-8c3f-670819f76dae","resolution":{"observed_at":"2026-08-06T21:23:58.880686Z","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-06T21:24:05.793178Z","title":"Critic method,","venue":null,"work_id":"e5a380b7-a083-448f-8ed5-217435fa43c3","year":2019},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:58.981521Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:6ad3be378cb09b6f68af2901a4306601722a69d8f387efb28f83d688c98f8f2d","observation_id":"d456e135-2800-4c56-a0f5-32ba68a8c293","resolution":{"observed_at":"2026-08-06T21:24:05.936510Z","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":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-08-10T17:02:50.054809Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-08-06T21:23:59.066966Z","title":"Deepseek-v3 technical report,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.066966Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:567596e8e2758fb37230bf8225e9066feff267acf5e955cdf519039803556d49","observation_id":"ea8a729d-009c-41dc-8588-8853204906c2","resolution":{"observed_at":"2026-08-06T21:23:59.066966Z","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-06T21:24:05.578738Z","title":"(2025) aiocoap","venue":null,"work_id":"ba564169-e424-4578-83bf-7851a53432ae","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.161107Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:1901a042f4ec71b72f6a422b1786d5c43b676ee5c4ee483f4ecbe6d987890a81","observation_id":"00cf5e9d-bcf0-4f76-a23b-932839dc0902","resolution":{"observed_at":"2026-08-06T21:24:05.662309Z","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-06T21:24:05.312644Z","title":"An introduction to the testing and test control notation (ttcn-3),","venue":null,"work_id":"f6462869-810b-49d2-901a-71824401e483","year":2003},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.284008Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:c96fb9b0643a20da622ffd56bcd7289b28e1e600622f50dceaaafc4d350090d6","observation_id":"7ab86040-7208-43fd-8699-560a299963c0","resolution":{"observed_at":"2026-08-06T21:24:05.419614Z","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-06T21:24:05.006099Z","title":"Scapy-a powerful interactive packet manipulation program,","venue":null,"work_id":"976cc769-f65a-4f79-8457-65ca276f7d24","year":2018},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.356078Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:64db81e0e778381803c9e7dcbe41a250eec53a02d9e67aa72fc4d3ec53f40693","observation_id":"cef53575-c616-4144-9e46-22925e3b85c3","resolution":{"observed_at":"2026-08-06T21:24:05.135979Z","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-06T21:24:04.736756Z","title":"boofuzz documentation,","venue":null,"work_id":"0c8f72df-0a89-4a0b-bfba-32bf23c03f53","year":2019},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.419768Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:7a7c6cb2550ae31e2e81c6ba6105b3021b3b55d2152870a12a23b3d8aa00dd6a","observation_id":"1e1f9182-caa9-4188-93fb-c09b81706170","resolution":{"observed_at":"2026-08-06T21:24:04.856368Z","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-06T21:24:04.437076Z","title":"Fairfuzz: A targeted mutation strategy for increasing greybox fuzz testing coverage,","venue":null,"work_id":"902409e4-c02d-4e7d-a6a3-56263c87bf71","year":2018},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.523800Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:e2c5449d24bc9e087cdb799317c44e1c931a6c92473cccc8bf42e11a5b3412c1","observation_id":"c05f8079-4f67-4cad-9381-c5eaa02c4b1d","resolution":{"observed_at":"2026-08-06T21:24:04.565586Z","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-06T21:24:04.112674Z","title":"T-fuzz: fuzzing by program transformation,","venue":null,"work_id":"fc25be88-a94e-4a31-81a8-6e98eb12e368","year":2018},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.612789Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:0383359568c4d45b5ff7701ce480cf71319b51faf6109470edca93b1996eda25","observation_id":"978138ae-da64-457c-96fd-fe99f33c8321","resolution":{"observed_at":"2026-08-06T21:24:04.288541Z","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-06T21:24:03.869604Z","title":"Online machine learning for intrusion detection in electric vehicle charging systems,","venue":null,"work_id":"50d9f947-b8e3-4d2f-b6c1-7df794e276fc","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.686071Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:de48b13b4a076539db9cf4d34a0a9950e4fc1d452fbc6d4cb7d63281ca70e37d","observation_id":"5fc26a0a-944d-4610-8f5b-cf17481ee0b4","resolution":{"observed_at":"2026-08-06T21:24:03.967166Z","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-06T21:24:03.585744Z","title":"Using large language models to generate junit tests: An empirical study,","venue":null,"work_id":"da346a15-54e4-4a05-a91a-a57ad819ae25","year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.766046Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:97dc9461a3e6b5ccf1713b6928802f614483c58469ac52ebc9e1309faa2a0369","observation_id":"80400466-1dad-4ff5-9a0b-0679adaf274e","resolution":{"observed_at":"2026-08-06T21:24:03.737520Z","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-06T21:24:03.256155Z","title":"An initial investigation of chatgpt unit test generation capability,","venue":null,"work_id":"da0cf6c2-b034-4faa-911b-87555b3280b2","year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.859666Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:8016f1c244f0d30ed238dddde379aa24b44e2c0da0ad9ab1d87d85bcc78a656b","observation_id":"60ab08d5-2cbe-4afb-b600-f42d073c9758","resolution":{"observed_at":"2026-08-06T21:24:03.421448Z","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":"2308.06782","last_updated":"2024-06-02T16:16:49Z","snapshot_observed_at":"2026-08-07T16:46:33.307475Z","submitted_at":"2023-08-13T14:35:50Z","title":"PentestGPT: An LLM-empowered Automatic Penetration Testing Tool","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.06782","snapshot_observed_at":"2026-08-06T21:23:59.957593Z","title":"Pentestgpt: An llm-empowered automatic penetration testing tool,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T21:23:59.957593Z"},"links":{"cited_paper":"/paper/2308.06782","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:ba6a468f2c890aaf353d9784df63065ea6a91f87654d8380ba80d083e6466b03","observation_id":"26e1cf81-7295-4730-b45f-fbd1a5a3bcac","resolution":{"observed_at":"2026-08-06T21:23:59.957593Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2308.05481","last_updated":"2023-08-11T07:55:19Z","snapshot_observed_at":"2026-08-10T11:08:46.964334Z","submitted_at":"2023-08-10T10:12:43Z","title":"LLM As DBA","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.05481","snapshot_observed_at":"2026-08-06T21:24:00.036913Z","title":"Llm as dba,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.036913Z"},"links":{"cited_paper":"/paper/2308.05481","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:484b3e461422f017d85685c24ce1ee72b072b768c7b60861ac51452abf631a78","observation_id":"2865e4d6-82b4-44d3-9af9-597c7da9d3b5","resolution":{"observed_at":"2026-08-06T21:24:00.036913Z","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-06T21:24:02.940161Z","title":"Mind2web: Towards a generalist agent for the web,","venue":null,"work_id":"30d4e03b-6bee-4205-8f26-3db7a04188ef","year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.192510Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:113dbbd7f0eb1503f295d043ef429e5bba0fe3373a1f8855ab6560ee095a5e2a","observation_id":"997e4a99-9b4b-45f9-9098-17f4e6452ee6","resolution":{"observed_at":"2026-08-06T21:24:03.112141Z","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":"2112.09332","last_updated":"2022-06-01T19:08:11Z","snapshot_observed_at":"2026-08-07T17:14:39.278754Z","submitted_at":"2021-12-17T05:43:43Z","title":"WebGPT: Browser-assisted question-answering with human feedback","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2112.09332","snapshot_observed_at":"2026-08-06T21:24:00.364434Z","title":"Webgpt: Browser- assisted question-answering with human feedback,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.364434Z"},"links":{"cited_paper":"/paper/2112.09332","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:79f991bb95738b9a2141f2683bdc7d0759e664b7c1aba6162a9498d817e19ead","observation_id":"eaa81f86-a20b-4987-9cb5-02c41792e8d1","resolution":{"observed_at":"2026-08-06T21:24:00.364434Z","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-06T21:24:02.704511Z","title":"Weinfer: Unleashing the power of we- bgpu on llm inference in web browsers,","venue":null,"work_id":"6ca3dd53-851f-4310-b267-21c85be6d99b","year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.540296Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:8508f122643edd5bc17d4f893682a0bdf578ac9bbfac13f532a678e8eca8f919","observation_id":"052562ac-4da8-4e11-98f6-b888239dd9b3","resolution":{"observed_at":"2026-08-06T21:24:02.832443Z","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":"2406.11147","last_updated":"2025-06-17T15:07:17Z","snapshot_observed_at":"2026-07-06T18:31:53.591578Z","submitted_at":"2024-06-17T02:25:45Z","title":"Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2406.11147","snapshot_observed_at":"2026-08-06T21:24:00.700167Z","title":"Vul-rag: Enhancing llm-based vulnerability detection via knowledge-level rag,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.700167Z"},"links":{"cited_paper":"/paper/2406.11147","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:8dc726a2b44f0d28598b4fcdac7574484751da42e8d26b0fad3f97c2f23de727","observation_id":"d3bf7ea5-028b-4de3-bc7f-51cfecd46a76","resolution":{"observed_at":"2026-08-06T21:24:00.700167Z","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-06T21:24:02.445186Z","title":"Generative ai service implementation using llm application architecture: based on rag model and langchain framework,","venue":null,"work_id":"25515c59-80fc-48c9-93cf-a47433f49f22","year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:00.842933Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:61c4fd7a1ac2e983e23d8b6990b8fd1ebb8289a49c316abbf169661cb93043fe","observation_id":"63076185-c02d-4914-bc5b-1cfd7d711350","resolution":{"observed_at":"2026-08-06T21:24:02.566219Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:24:01.003145Z","title":"Rag in health care: a novel framework for improving communication and decision-making by addressing llm limitations,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.003145Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:2e9eb6fc1b9e9ea9895249cc96e1207b20db425837e03c4539b59b537bedc82c","observation_id":"65e2a1ca-a7ad-46bd-ba27-5cae87301717","resolution":{"observed_at":"2026-08-06T21:24:01.003145Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:24:01.168368Z","title":"Llama-reviewer: Advancing code review automation with large language models through parameter- efficient fine-tuning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.168368Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:8701324b75735d90180a9ea7b7859f8ca3bcb4a97329f305c79383104f5bd5a6","observation_id":"96b23cf6-6697-420b-bf11-570f5286e24e","resolution":{"observed_at":"2026-08-06T21:24:01.168368Z","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-06T21:24:02.186164Z","title":"Hugginggpt: Solving ai tasks with chatgpt and its friends in hugging face,","venue":null,"work_id":"261eaa5d-a726-45a0-80e4-f15b71e17768","year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.307917Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:eca2686608134745a45b9ec8d842256330f59b79b6e2c65f67118326e83aee15","observation_id":"07fca0a6-3903-4d6b-9ec6-59dbe0db9b46","resolution":{"observed_at":"2026-08-06T21:24:02.311337Z","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":"2203.11171","last_updated":"2023-03-07T17:57:37Z","snapshot_observed_at":"2026-07-06T12:50:22.773056Z","submitted_at":"2022-03-21T17:48:52Z","title":"Self-Consistency Improves Chain of Thought Reasoning in Language Models","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2203.11171","snapshot_observed_at":"2026-08-06T21:24:01.483529Z","title":"Self-consistency improves chain of thought reasoning in language models,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.483529Z"},"links":{"cited_paper":"/paper/2203.11171","citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:0514932f0b7d6337490e969da46785980e20caa5912bc575e9034cc6827fb846","observation_id":"e49f9668-bc4a-4097-8e75-aa3c8ce07ba1","resolution":{"observed_at":"2026-08-06T21:24:01.483529Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:24:01.637900Z","title":"React: Synergizing reasoning and acting in language models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.637900Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:dc028871f2cf2b6a98d8c70f582b90e3ef8a087fdf1b6a0f957071f692fc9b8d","observation_id":"40b6d44a-83a0-4cfb-980a-8e9ccb8c9d84","resolution":{"observed_at":"2026-08-06T21:24:01.637900Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T21:24:01.826050Z","title":"Reflex- ion: Language agents with verbal reinforcement learning,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T21:24:01.826050Z"},"links":{"citing_paper":"/paper/2507.00378"},"observation_digest":"sha256:f751f1a8216805ce3921e9a120cdb18e53b71d6215dabdee9da499ed727b8963","observation_id":"4d937b92-cf2a-44c1-bd60-924d1055e38f","resolution":{"observed_at":"2026-08-06T21:24:01.826050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.00378","last_updated":"2025-07-29T11:56:25Z","latest_version":2,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-07T16:46:52.680380Z","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":16,"verified_exact":0,"verified_fuzzy":27},"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 11 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2507.00378."}