{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QDKEK2Z4476YTG7HE2B5URZSRW","short_pith_number":"pith:QDKEK2Z4","canonical_record":{"source":{"id":"2507.00378","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T02:27:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aed8dd96c229d8f6f3ab92bc021d18191fdc61a9a0b4e77060ee5100048ed476","abstract_canon_sha256":"c62b724e72b3bea032eba36f4215e13a7a6036769c25c8f9383343dfb357aed3"},"schema_version":"1.0"},"canonical_sha256":"80d4456b3ce7fd899be72683da47328da2e22e21823d0e51a75f3b6b0bbec06a","source":{"kind":"arxiv","id":"2507.00378","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.00378","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"arxiv_version","alias_value":"2507.00378v2","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.00378","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_12","alias_value":"QDKEK2Z4476Y","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_16","alias_value":"QDKEK2Z4476YTG7H","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_8","alias_value":"QDKEK2Z4","created_at":"2026-07-05T11:44:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QDKEK2Z4476YTG7HE2B5URZSRW","target":"record","payload":{"canonical_record":{"source":{"id":"2507.00378","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T02:27:44Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"aed8dd96c229d8f6f3ab92bc021d18191fdc61a9a0b4e77060ee5100048ed476","abstract_canon_sha256":"c62b724e72b3bea032eba36f4215e13a7a6036769c25c8f9383343dfb357aed3"},"schema_version":"1.0"},"canonical_sha256":"80d4456b3ce7fd899be72683da47328da2e22e21823d0e51a75f3b6b0bbec06a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:44:50.773233Z","signature_b64":"pFpNVcnrfrQOoDycjMQfQgPlEBewWpjlFrJeN32GGYktNBWWrX/ud1ZSKecs3hOGrp3O0eIJbTtJpLXK2hq9BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80d4456b3ce7fd899be72683da47328da2e22e21823d0e51a75f3b6b0bbec06a","last_reissued_at":"2026-07-05T11:44:50.772728Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:44:50.772728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.00378","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:44:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ik2Abz4wv4WbHkj1BsaErRWxmpSdOUlQ3em5smyouZu3k3pQrRlOs3R+xFgT4BX4ZmXf5Lb3uUqg0q25nezUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:06:16.960272Z"},"content_sha256":"011dacf2e0123fe6514ecf2afed4bd3d83e5c0036f0257e4dadeb71949565a8a","schema_version":"1.0","event_id":"sha256:011dacf2e0123fe6514ecf2afed4bd3d83e5c0036f0257e4dadeb71949565a8a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QDKEK2Z4476YTG7HE2B5URZSRW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Fan Dang, Haimo Lu, Jingao Xu, Kebin Liu, Shiqi Jiang, Weichen Zhang, Xikai Sun, Xin Miao, Yawen Zheng, Yunhao Liu, Zihao Yang","submitted_at":"2025-07-01T02:27:44Z","abstract_excerpt":"Conformance testing is essential for ensuring that protocol implementations comply with their specifications. However, traditional testing approaches involve manually creating numerous test cases and scripts, making the process labor-intensive and inefficient. Recently, Large Language Models (LLMs) have demonstrated impressive text comprehension and code generation abilities, providing promising opportunities for automation. In this paper, we propose iPanda, the first framework that leverages LLMs to automate protocol conformance testing. Given a protocol specification document and its impleme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.00378","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.00378/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:44:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JQBXUgxy9SyDxPxYnYz3meVfuvdbocvLlAsy0XIn6eAMzcOXWWaahbd7U2cngmSrEsY77OEyzVAOQz5Ofe7yBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T08:06:16.960784Z"},"content_sha256":"0106587768da09643b0c36ad2f1160efbc7afc580905fb7cdbca36e785936adf","schema_version":"1.0","event_id":"sha256:0106587768da09643b0c36ad2f1160efbc7afc580905fb7cdbca36e785936adf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QDKEK2Z4476YTG7HE2B5URZSRW/bundle.json","state_url":"https://pith.science/pith/QDKEK2Z4476YTG7HE2B5URZSRW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QDKEK2Z4476YTG7HE2B5URZSRW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-10T08:06:16Z","links":{"resolver":"https://pith.science/pith/QDKEK2Z4476YTG7HE2B5URZSRW","bundle":"https://pith.science/pith/QDKEK2Z4476YTG7HE2B5URZSRW/bundle.json","state":"https://pith.science/pith/QDKEK2Z4476YTG7HE2B5URZSRW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QDKEK2Z4476YTG7HE2B5URZSRW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QDKEK2Z4476YTG7HE2B5URZSRW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c62b724e72b3bea032eba36f4215e13a7a6036769c25c8f9383343dfb357aed3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T02:27:44Z","title_canon_sha256":"aed8dd96c229d8f6f3ab92bc021d18191fdc61a9a0b4e77060ee5100048ed476"},"schema_version":"1.0","source":{"id":"2507.00378","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.00378","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"arxiv_version","alias_value":"2507.00378v2","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.00378","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_12","alias_value":"QDKEK2Z4476Y","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_16","alias_value":"QDKEK2Z4476YTG7H","created_at":"2026-07-05T11:44:50Z"},{"alias_kind":"pith_short_8","alias_value":"QDKEK2Z4","created_at":"2026-07-05T11:44:50Z"}],"graph_snapshots":[{"event_id":"sha256:0106587768da09643b0c36ad2f1160efbc7afc580905fb7cdbca36e785936adf","target":"graph","created_at":"2026-07-05T11:44:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.00378/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Conformance testing is essential for ensuring that protocol implementations comply with their specifications. However, traditional testing approaches involve manually creating numerous test cases and scripts, making the process labor-intensive and inefficient. Recently, Large Language Models (LLMs) have demonstrated impressive text comprehension and code generation abilities, providing promising opportunities for automation. In this paper, we propose iPanda, the first framework that leverages LLMs to automate protocol conformance testing. Given a protocol specification document and its impleme","authors_text":"Fan Dang, Haimo Lu, Jingao Xu, Kebin Liu, Shiqi Jiang, Weichen Zhang, Xikai Sun, Xin Miao, Yawen Zheng, Yunhao Liu, Zihao Yang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T02:27:44Z","title":"iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.00378","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:011dacf2e0123fe6514ecf2afed4bd3d83e5c0036f0257e4dadeb71949565a8a","target":"record","created_at":"2026-07-05T11:44:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"c62b724e72b3bea032eba36f4215e13a7a6036769c25c8f9383343dfb357aed3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T02:27:44Z","title_canon_sha256":"aed8dd96c229d8f6f3ab92bc021d18191fdc61a9a0b4e77060ee5100048ed476"},"schema_version":"1.0","source":{"id":"2507.00378","kind":"arxiv","version":2}},"canonical_sha256":"80d4456b3ce7fd899be72683da47328da2e22e21823d0e51a75f3b6b0bbec06a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80d4456b3ce7fd899be72683da47328da2e22e21823d0e51a75f3b6b0bbec06a","first_computed_at":"2026-07-05T11:44:50.772728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:44:50.772728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pFpNVcnrfrQOoDycjMQfQgPlEBewWpjlFrJeN32GGYktNBWWrX/ud1ZSKecs3hOGrp3O0eIJbTtJpLXK2hq9BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:44:50.773233Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.00378","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:011dacf2e0123fe6514ecf2afed4bd3d83e5c0036f0257e4dadeb71949565a8a","sha256:0106587768da09643b0c36ad2f1160efbc7afc580905fb7cdbca36e785936adf"],"state_sha256":"62e63c058f86bace3800abf03a449a23a1cd6916e720b607a089e55ce7250881"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ESLvSa7/FaNoFsszF8Udco5Medcr7uiL7L64hN4Z+U9Hfxu0hOY9mesWAWs1mX9sUnWNfpy/smuynOONA9RUDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T08:06:16.964821Z","bundle_sha256":"2c41477691364e21ea70130cc36bae42535101204ffff97b5c72e1c30ef2731e"}}