{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:IVU3BZVWZIMQFZXVV55FITJ3T6","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":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7"},"schema_version":"1.0","source":{"id":"2312.06875","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"arxiv_version","alias_value":"2312.06875v2","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.06875","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_12","alias_value":"IVU3BZVWZIMQ","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_16","alias_value":"IVU3BZVWZIMQFZXV","created_at":"2026-07-05T11:37:41Z"},{"alias_kind":"pith_short_8","alias_value":"IVU3BZVW","created_at":"2026-07-05T11:37:41Z"}],"graph_snapshots":[{"event_id":"sha256:2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491","target":"graph","created_at":"2026-07-05T11:37:41Z","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/2312.06875/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier to the use of MBT is the need for users to understand protocol RFCs in detail to create a compliant model. Our new approach to MBT uses LLMs to automatically build rich models of intended protocol behavior from knowledge embedded in RFCs, blogs, and other natural language sources. Our approach addresses key challenges with using LLMs, including hallucinations and their inability to monolithically generate complex pro","authors_text":"George Varghese, Rajdeep Mondal, Rathin Singha, Ryan Beckett, Siva Kesava Reddy Kakarla, Todd Millstein","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title":"Eywa: Automating Model Based Testing using LLMs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.06875","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:09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c","target":"record","created_at":"2026-07-05T11:37:41Z","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":"26912855dfa7c891e265676fc2dddff63c7baf81381181a472d60269e88453c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2023-12-11T22:51:15Z","title_canon_sha256":"36d8eae76102db8208c32db1ffe30fb48c90e695263b472550de4c8dd2cff1a7"},"schema_version":"1.0","source":{"id":"2312.06875","kind":"arxiv","version":2}},"canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4569b0e6b6ca1902e6f5af7a544d3b9f930a90b787a032c1cffae178cd8b11c3","first_computed_at":"2026-07-05T11:37:41.531098Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:37:41.531098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5X5IgF9EUEliyWvFA67jS71NBV/LTkfEeMCXeevdd/Ak5SjKHGyMP8ycHCOOvTAmvxl0iMiiGfSypkKknD+uAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:37:41.531728Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.06875","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09d45bb644f590e996099416848e5c035a8c93ba5ab8c484caaa618dc5eb0e7c","sha256:2ed2ab10b7b7302a7c0f6a55f23dbc08618848d59e8183ea298ead9ff71b2491"],"state_sha256":"5fa5051f233da6213fde5e47c983bdd98cb8e420b3a35d508bdeec207f2fcfb0"}