{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:J3PND5522XJ25WTQAU4MPPC2O6","short_pith_number":"pith:J3PND552","canonical_record":{"source":{"id":"2505.23549","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-29T15:27:52Z","cross_cats_sorted":[],"title_canon_sha256":"108556469befe3874c820f13779fb2304d933ea08b2634b0848f8c9ba6943e6d","abstract_canon_sha256":"e525a66f760fc65dd032e8292d72f5f3a1cbf4dbde32aa36644d2850943f36c6"},"schema_version":"1.0"},"canonical_sha256":"4eded1f7bad5d3aeda700538c7bc5a778a539653128ec8f6fe87d3656d3cefcc","source":{"kind":"arxiv","id":"2505.23549","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.23549","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"arxiv_version","alias_value":"2505.23549v2","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23549","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_12","alias_value":"J3PND5522XJ2","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_16","alias_value":"J3PND5522XJ25WTQ","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_8","alias_value":"J3PND552","created_at":"2026-07-05T11:20:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:J3PND5522XJ25WTQAU4MPPC2O6","target":"record","payload":{"canonical_record":{"source":{"id":"2505.23549","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-29T15:27:52Z","cross_cats_sorted":[],"title_canon_sha256":"108556469befe3874c820f13779fb2304d933ea08b2634b0848f8c9ba6943e6d","abstract_canon_sha256":"e525a66f760fc65dd032e8292d72f5f3a1cbf4dbde32aa36644d2850943f36c6"},"schema_version":"1.0"},"canonical_sha256":"4eded1f7bad5d3aeda700538c7bc5a778a539653128ec8f6fe87d3656d3cefcc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:20:54.613213Z","signature_b64":"bCpHbxCEGoS5Ap+mkN9N74tc1BIBssdVlHx46AfrI8+PFG7ml0m35AuRy/jRoPRcV+ssnkbJilmt/xHeaQi7BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4eded1f7bad5d3aeda700538c7bc5a778a539653128ec8f6fe87d3656d3cefcc","last_reissued_at":"2026-07-05T11:20:54.612743Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:20:54.612743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.23549","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:20:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mVcBRUSuQQ//GyGqdieiqSjcvqWX2n1mTO1yKR+oBqUPO1rTsRLSdQBw/os4pv8MvDxd43UtbQMvBEpnI1sTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:53:31.054293Z"},"content_sha256":"5380c16d8b52022b35cca3b9f81e2552d701c46d70ff6f49ae4780a03a5fea15","schema_version":"1.0","event_id":"sha256:5380c16d8b52022b35cca3b9f81e2552d701c46d70ff6f49ae4780a03a5fea15"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:J3PND5522XJ25WTQAU4MPPC2O6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Khashayar Etemadi, Mahshid Helali Moghadam, Marjan Sirjani, Paul Pettersson, Per Strandberg","submitted_at":"2025-05-29T15:27:52Z","abstract_excerpt":"Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety assurance challenging. In this paper, we propose a novel automated approach for guardrailing cyber-physical systems using property-based tests (PBTs) generated by Large Language Models (LLMs). Our approach employs an LLM to extract properties from the code and documentation of CPSs. Next, we use the LLM to generate PBTs that verify the extracted properties on the CPS. The generated PBTs have two uses. First, they ar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23549","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/2505.23549/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:20:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kTXXyiHxid5X0sMD6IUlcWYKNJpty2xo+xNQCMMYsfmiskvcmTTng5hhVZxNVDIWGKVHiC5lyshp4FhQ/q7lAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T01:53:31.054987Z"},"content_sha256":"efc6221916817da2dc4519b3983170816fc910fd6dc63f7d43df78c4a33cbb07","schema_version":"1.0","event_id":"sha256:efc6221916817da2dc4519b3983170816fc910fd6dc63f7d43df78c4a33cbb07"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J3PND5522XJ25WTQAU4MPPC2O6/bundle.json","state_url":"https://pith.science/pith/J3PND5522XJ25WTQAU4MPPC2O6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J3PND5522XJ25WTQAU4MPPC2O6/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-08T01:53:31Z","links":{"resolver":"https://pith.science/pith/J3PND5522XJ25WTQAU4MPPC2O6","bundle":"https://pith.science/pith/J3PND5522XJ25WTQAU4MPPC2O6/bundle.json","state":"https://pith.science/pith/J3PND5522XJ25WTQAU4MPPC2O6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J3PND5522XJ25WTQAU4MPPC2O6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:J3PND5522XJ25WTQAU4MPPC2O6","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":"e525a66f760fc65dd032e8292d72f5f3a1cbf4dbde32aa36644d2850943f36c6","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-29T15:27:52Z","title_canon_sha256":"108556469befe3874c820f13779fb2304d933ea08b2634b0848f8c9ba6943e6d"},"schema_version":"1.0","source":{"id":"2505.23549","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.23549","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"arxiv_version","alias_value":"2505.23549v2","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.23549","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_12","alias_value":"J3PND5522XJ2","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_16","alias_value":"J3PND5522XJ25WTQ","created_at":"2026-07-05T11:20:54Z"},{"alias_kind":"pith_short_8","alias_value":"J3PND552","created_at":"2026-07-05T11:20:54Z"}],"graph_snapshots":[{"event_id":"sha256:efc6221916817da2dc4519b3983170816fc910fd6dc63f7d43df78c4a33cbb07","target":"graph","created_at":"2026-07-05T11:20:54Z","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/2505.23549/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Cyber-physical systems (CPSs) are complex systems that integrate physical, computational, and communication subsystems. The heterogeneous nature of these systems makes their safety assurance challenging. In this paper, we propose a novel automated approach for guardrailing cyber-physical systems using property-based tests (PBTs) generated by Large Language Models (LLMs). Our approach employs an LLM to extract properties from the code and documentation of CPSs. Next, we use the LLM to generate PBTs that verify the extracted properties on the CPS. The generated PBTs have two uses. First, they ar","authors_text":"Khashayar Etemadi, Mahshid Helali Moghadam, Marjan Sirjani, Paul Pettersson, Per Strandberg","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-29T15:27:52Z","title":"LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.23549","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:5380c16d8b52022b35cca3b9f81e2552d701c46d70ff6f49ae4780a03a5fea15","target":"record","created_at":"2026-07-05T11:20:54Z","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":"e525a66f760fc65dd032e8292d72f5f3a1cbf4dbde32aa36644d2850943f36c6","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2025-05-29T15:27:52Z","title_canon_sha256":"108556469befe3874c820f13779fb2304d933ea08b2634b0848f8c9ba6943e6d"},"schema_version":"1.0","source":{"id":"2505.23549","kind":"arxiv","version":2}},"canonical_sha256":"4eded1f7bad5d3aeda700538c7bc5a778a539653128ec8f6fe87d3656d3cefcc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4eded1f7bad5d3aeda700538c7bc5a778a539653128ec8f6fe87d3656d3cefcc","first_computed_at":"2026-07-05T11:20:54.612743Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:20:54.612743Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bCpHbxCEGoS5Ap+mkN9N74tc1BIBssdVlHx46AfrI8+PFG7ml0m35AuRy/jRoPRcV+ssnkbJilmt/xHeaQi7BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:20:54.613213Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.23549","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5380c16d8b52022b35cca3b9f81e2552d701c46d70ff6f49ae4780a03a5fea15","sha256:efc6221916817da2dc4519b3983170816fc910fd6dc63f7d43df78c4a33cbb07"],"state_sha256":"583e267a12cf947fc9475700888f891491868da6afbf039d25be4eca6e6717e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vRJ1z41g2dCTZBAobUOKBEAfSdm7dDo9CENqdQEhTx1CFvYL4UQy7yat5NB3imFuGLRy+hKSQyhKIg/GjciJBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T01:53:31.061918Z","bundle_sha256":"547515e95f92f5f0ff5b44a235a9c6b7d34acc4a05a8f2fd318e2f279247b91e"}}