{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:4JJX2UD5E7QJG3TVAYGEKJVJFP","short_pith_number":"pith:4JJX2UD5","schema_version":"1.0","canonical_sha256":"e2537d507d27e0936e75060c4526a92bceacc346fd1ed8628c5bb0e0bca68aaa","source":{"kind":"arxiv","id":"1705.04669","version":1},"attestation_state":"computed","paper":{"title":"KompicsTesting - Unit Testing Event Streams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandru A. Ormenisan, Ifeanyi W. Ubah, Lars Kroll, Seif Haridi","submitted_at":"2017-05-12T17:35:13Z","abstract_excerpt":"In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate asynchronously solely by message passing. Similar to actors in the actor model, they do not share their internal state in message-passing, making them less prone to errors, compared to other models of concurrency using shared state. However, they are neither immune to simpler logical and specification errors nor errors such as dataraces that stem from nondeterminism. As a result, there exists a need for tools that ena"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.04669","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-12T17:35:13Z","cross_cats_sorted":[],"title_canon_sha256":"d989387bc9882448427f67e008763d29a6f56aec7d22221e6f0454ddade2c096","abstract_canon_sha256":"e3561f934260c7c5aa4905722ff3a68d3dde7569fe02da30aebf1cd868ea17b2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:37.530567Z","signature_b64":"0uahX/2qWCapQFKgrDMO7HOxJcnFJ2406R/L1oLNpJFIfe8YuJ6CmMhDXlmPuBRshEFwawZ+Zh7rw2oJ3A+ZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2537d507d27e0936e75060c4526a92bceacc346fd1ed8628c5bb0e0bca68aaa","last_reissued_at":"2026-05-18T00:44:37.529958Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:37.529958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"KompicsTesting - Unit Testing Event Streams","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandru A. Ormenisan, Ifeanyi W. Ubah, Lars Kroll, Seif Haridi","submitted_at":"2017-05-12T17:35:13Z","abstract_excerpt":"In this paper we present KompicsTesting, a framework for unit testing components in the Kompics component model. Components in Kompics are event-driven entities which communicate asynchronously solely by message passing. Similar to actors in the actor model, they do not share their internal state in message-passing, making them less prone to errors, compared to other models of concurrency using shared state. However, they are neither immune to simpler logical and specification errors nor errors such as dataraces that stem from nondeterminism. As a result, there exists a need for tools that ena"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04669","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.04669","created_at":"2026-05-18T00:44:37.530076+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.04669v1","created_at":"2026-05-18T00:44:37.530076+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04669","created_at":"2026-05-18T00:44:37.530076+00:00"},{"alias_kind":"pith_short_12","alias_value":"4JJX2UD5E7QJ","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"4JJX2UD5E7QJG3TV","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"4JJX2UD5","created_at":"2026-05-18T12:31:00.734936+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP","json":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP.json","graph_json":"https://pith.science/api/pith-number/4JJX2UD5E7QJG3TVAYGEKJVJFP/graph.json","events_json":"https://pith.science/api/pith-number/4JJX2UD5E7QJG3TVAYGEKJVJFP/events.json","paper":"https://pith.science/paper/4JJX2UD5"},"agent_actions":{"view_html":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP","download_json":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP.json","view_paper":"https://pith.science/paper/4JJX2UD5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.04669&json=true","fetch_graph":"https://pith.science/api/pith-number/4JJX2UD5E7QJG3TVAYGEKJVJFP/graph.json","fetch_events":"https://pith.science/api/pith-number/4JJX2UD5E7QJG3TVAYGEKJVJFP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP/action/storage_attestation","attest_author":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP/action/author_attestation","sign_citation":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP/action/citation_signature","submit_replication":"https://pith.science/pith/4JJX2UD5E7QJG3TVAYGEKJVJFP/action/replication_record"}},"created_at":"2026-05-18T00:44:37.530076+00:00","updated_at":"2026-05-18T00:44:37.530076+00:00"}