{"as_of":"2026-08-07T16:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ab6395a8af5a91bd671fdbd45523c11a6212a570a5d68cb284e5ae919fac7591","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-07T06:34:17.273281+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-06T21:15:43.151964Z","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:9aa3764916c3d5325d0427e76618183f1709a0c922204fa4c5a5777489418e24","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:97c912b5b28dc9ebf26b74887ee9d0b6e959d9bbdfb1b1a0caabf4b7e1200290","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:e80e8ce21a372ba3795b7273a2b74c5ed20e82bfaa26a20a9374cc68de12b4c6","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-06T21:15:43.151964Z","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:f2c99f4d5f67225269e82b4f636af4e318cf6fd5e409ec799c8b8f4d09663bf0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:a5af8eadf1375f940cdad1ff59b52bda9a4cbda3f1c3a2b670d0406f96cc4a93","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:34d89f1429ec7602416da6d732a35871475cef62a843ad1627e539b2d64bcd25","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:8d2644d7b4d45ead16867ae9ffb89cbcad7728426c49659b22e49881552f0c1e","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-06T21:15:43.151964Z","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:99b811c9955671238296103210551cd6edd8f0a31754cad67bd7bc4b03e83b9d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:8b22b34111eaa9003a7a934b12c452709c2eaa12786023afbf9c3608bca31870","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:f94212717c2f1c6677e4acc6b5b047182922b050135a4a8740446f8e2c8a1c7a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:7b41a3045822af8d8e0c3383e4a7e091b902a3b4bfb7f3197ee00bd60b0fb454","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:ca5bd39409eff2145bf031fae32387ecc82b0f3a0613e8ab7e931b0d3c2f7b30","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-06T21:15:43.151964Z","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:b440919021152ac6a301de8b3ec0aeb9dce42a09ce4403780de3e1be1f12abcd","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:a0bd63506dbc874608ce0c4ee1274438e1d23c17e234e5bc19fee4ef0d3812ba","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:1566f407511255302048dd11a58f6727ba18718779941fdd7ed8b49eebc8b499","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:f2af821823597aadb86700d898735fbb946e17ec5eb2b0bbc14dc0ce72d147ef","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:a5e471cb2c998e588823d334c5759f8f06f38075f1ece8e0044a629ee3918fd7","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-06T21:15:43.151964Z","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:aaf65d0110672930344cfecef49de203a55d743812b0b68aa7f341f8ea127c0c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T20:48:27.258486Z","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-06T21:15:43.151964Z","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:280b9ca4a496fdf5faa8c437bc8643966c9876a23d6446edddd605fa683f2737","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-06T21:15:43.151964Z","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:312ef26055f250c2d77fe3701048077566a50a9f4521bc9940c222bdb801be92","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T02:11:23.670680Z","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-06T21:15:43.151964Z","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:e65000a48ad796010a46d99d15ff6968dbe2d748d13e9a07507136b7e99ea108","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-06T21:15:43.151964Z","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:08559812ba81024e1ed90ed84d10c5f1e7cd7b669435b89b534ca3db0e8c96d5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:ddaa204f7cb93bb67fac8e390686db61b3ab2e366957ae241eb1e0836d957696","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:57801e08e4e3b29f6a487e9792b1521b9596372db17e208ed6f7e46acb90fc19","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:99afc8faab82a8b8d95a724c1a78f7040b585b7c44cf848f31de452fcd3ed8f0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:569d61693ca9265a7432fd02e836d22c11c94f250bb215c4a490aafc3adf9d38","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:107a0b3d66682741d56bc5ec795a133c5918721a24d9ebe71699fcac7334955e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:7170269e4a0f0b2aa7b9dbab37dee540d71252933b48b3577ba7c5f2d1279d73","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:90bcc8f9d4dc96372d45ab908d69b7639ce0fa576925ff84ed7070b32bbbcd80","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:dd74bff3fe9f0f628f038babbbb47a652780376b3039a66e6f085ec3a0ab5456","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-03T19:09:48.808854Z","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-06T21:15:43.151964Z","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:9b55e1e105c4287b6cddfff84bc01a407a9b013dab33e55d8fdb00541aab4d05","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-07-06T16:04:46.871796Z","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-06T21:15:43.151964Z","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:1eee9653afc697510ac111f1457ac6440140ce8c3545bde959057874dc36c2d0","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-06T21:15:43.151964Z","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:c2a7b460426c902ee000b46bc886c04699291cd074a19deda6fd0f4a95c250ca","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07-06T02:11:23.670680Z","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-06T21:15:43.151964Z","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:e8e77bfb9f1ef24a3d1d060b48e112143bf65836feb15f75e2fbcdd2bc317a36","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-06T21:15:43.151964Z","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:ddbca4069d86d98eda8c608671b0bb7264f18003156ebcecb9473383acbca8de","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:31c698db433b37131c4057dd881af3d8ec6e142aa379ccd3310d84bc81850e24","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-06T21:15:43.151964Z","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:1118d348062e88c22507bf03ee16b797718ddd469330cea5075da9480bc65827","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:c2b4d1da8610d213803a436493045cd8dd177cc9a4f3216e91054f8cdc32c5cf","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-06T21:15:43.151964Z","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:f1a89365a714c205f0a7c394960580dd44ba9659838590f8c3e58f08c5a193a8","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-06T21:15:43.151964Z","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:d8dde631acf900700d3539bfd05a6ea53f10d80f4867a6a0075652d7e54f45c6","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T21:15:43.151964Z","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:7ae49ef56af6764de2edffbffe740aa4b693a62aadf59b204d2b05af0ded3305","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-06T21:15:43.151964Z","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:2bdf1c1e26d98a0a0b0f4b9004cc5e4560bdafdfbbeea4a638986b0835aefc9d","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-06T21:15:43.151964Z","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:4ec4e419e4d734bffdcd0b2e97c36f2db60be69ebbaa076cb84b372e893a3ba5","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-06T21:15:43.151964Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2507.00378."}