{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ETKPDAL37HLCMOWJXNJUUQ2OQ4","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":"d17c44baa937487fe0bc28987ecab938af2412f89518fa7a32c1c6a27e2f1001","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-20T15:10:50Z","title_canon_sha256":"e348353e200dc28480d3558c49a953b5f94541477db8a6a3da0f6d0c5e7526fa"},"schema_version":"1.0","source":{"id":"1812.11838","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.11838","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"arxiv_version","alias_value":"1812.11838v1","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.11838","created_at":"2026-05-17T23:57:11Z"},{"alias_kind":"pith_short_12","alias_value":"ETKPDAL37HLC","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"ETKPDAL37HLCMOWJ","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"ETKPDAL3","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:39a154f2cd403b1f85580a630ad9df5ec4117b4a75f659a706c7cfd73a7fa69c","target":"graph","created_at":"2026-05-17T23:57:11Z","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"},"paper":{"abstract_excerpt":"Stream processing has reached the mainstream in the last years, as a new generation of open source distributed stream processing systems, designed for scaling horizontally on commodity hardware, has brought the capability for processing high volume and high velocity data streams to companies of all sizes. In this work we propose a combination of temporal logic and property-based testing (PBT) for dealing with the challenges of testing programs that employ this programming model. We formalize our approach in a discrete time temporal logic for finite words, with some additions to improve the exp","authors_text":"Adri\\'an Riesco, Juan Rodr\\'iguez-Hortal\\'a","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-20T15:10:50Z","title":"Property-based testing for Spark Streaming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.11838","kind":"arxiv","version":1},"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:60c76b396292e1dcba27e036552634de3bc6daa97bab4f79664b745c3382c884","target":"record","created_at":"2026-05-17T23:57:11Z","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":"d17c44baa937487fe0bc28987ecab938af2412f89518fa7a32c1c6a27e2f1001","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-20T15:10:50Z","title_canon_sha256":"e348353e200dc28480d3558c49a953b5f94541477db8a6a3da0f6d0c5e7526fa"},"schema_version":"1.0","source":{"id":"1812.11838","kind":"arxiv","version":1}},"canonical_sha256":"24d4f1817bf9d6263ac9bb534a434e872ae0117cf03df0ca11bf45b2476cdbfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24d4f1817bf9d6263ac9bb534a434e872ae0117cf03df0ca11bf45b2476cdbfe","first_computed_at":"2026-05-17T23:57:11.000310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:57:11.000310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KhwAIeX90zaJ285IXpD+2cVbNwvFVnPjoSIQM9kDh3CR6J3pokEyBcDRbg/YQzoVdrtr6jr7/FiSg0oraZ+3Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:57:11.000740Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.11838","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60c76b396292e1dcba27e036552634de3bc6daa97bab4f79664b745c3382c884","sha256:39a154f2cd403b1f85580a630ad9df5ec4117b4a75f659a706c7cfd73a7fa69c"],"state_sha256":"10dbcb3d421b2dbb9e5033d8e616da2df5b55f694cd3f74aecf750b4665d642e"}