{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TC5YUVJKEYBE3MB6SBJQAIMMPW","short_pith_number":"pith:TC5YUVJK","canonical_record":{"source":{"id":"1303.1009","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-05T12:18:31Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"792773df103e476ca4ff593fa2de6cc564c31763b5df77e93375e0cf6519354f","abstract_canon_sha256":"37bdd2c3ff12a52b41aa838f8f362c8d05f328d56bbca2c2ae10007b41671bf2"},"schema_version":"1.0"},"canonical_sha256":"98bb8a552a26024db03e905300218c7db700da988daccc69951cb0bc8c58ff76","source":{"kind":"arxiv","id":"1303.1009","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1009","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1009v1","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1009","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"pith_short_12","alias_value":"TC5YUVJKEYBE","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"TC5YUVJKEYBE3MB6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"TC5YUVJK","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TC5YUVJKEYBE3MB6SBJQAIMMPW","target":"record","payload":{"canonical_record":{"source":{"id":"1303.1009","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-05T12:18:31Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"792773df103e476ca4ff593fa2de6cc564c31763b5df77e93375e0cf6519354f","abstract_canon_sha256":"37bdd2c3ff12a52b41aa838f8f362c8d05f328d56bbca2c2ae10007b41671bf2"},"schema_version":"1.0"},"canonical_sha256":"98bb8a552a26024db03e905300218c7db700da988daccc69951cb0bc8c58ff76","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:53.166401Z","signature_b64":"6yamDHlgdGgzdlLOE+JsG+rFAnCi9zsqKqVaQjcltRigf1CAcxWqGH1RouAMuD2I2Af/kEHtMz8ReIYjJNaaBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98bb8a552a26024db03e905300218c7db700da988daccc69951cb0bc8c58ff76","last_reissued_at":"2026-05-18T03:31:53.165963Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:53.165963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.1009","source_version":1,"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-05-18T03:31:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EP4DQMW0XbVImOlpbJtmZaNU7jkIdjZpbX9TrdsiEBJZdV8wmX3PR/6baTP+/Ck3sh0nO+zjNAzHWXU63xGbBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:52:34.442948Z"},"content_sha256":"01eb847503575c18518b3c47ef67a84bd6abd111604dab18faf84a866b6e1f5a","schema_version":"1.0","event_id":"sha256:01eb847503575c18518b3c47ef67a84bd6abd111604dab18faf84a866b6e1f5a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TC5YUVJKEYBE3MB6SBJQAIMMPW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decomposability in Input Output Conformance Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Center for Research on Embedded Systems (CERES), Halmstad University, Mohammad Reza Mousavi (Eindhoven University of Technology Eindhoven, Neda Noroozi (Eindhoven University of Technology Eindhoven, Sweden), the Netherlands), The Netherlands, Tim A.C. Willemse (Eindhoven University of Technology Eindhoven","submitted_at":"2013-03-05T12:18:31Z","abstract_excerpt":"We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the crit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1009","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"},"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-05-18T03:31:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4DSLKtZFo2haGAUZdpB5IEL8y4swgtYVZ2GRdg/vPXQI9l5nTVbHVenYGscvt+y6fuNjRq67dvgAUbtdBZLPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:52:34.443590Z"},"content_sha256":"ac24e77b8a40af603ce93162d33eb976872d0e63aca4ac7ccbd019e1bf2faccc","schema_version":"1.0","event_id":"sha256:ac24e77b8a40af603ce93162d33eb976872d0e63aca4ac7ccbd019e1bf2faccc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/bundle.json","state_url":"https://pith.science/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/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-05-26T16:52:34Z","links":{"resolver":"https://pith.science/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW","bundle":"https://pith.science/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/bundle.json","state":"https://pith.science/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TC5YUVJKEYBE3MB6SBJQAIMMPW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TC5YUVJKEYBE3MB6SBJQAIMMPW","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":"37bdd2c3ff12a52b41aa838f8f362c8d05f328d56bbca2c2ae10007b41671bf2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-05T12:18:31Z","title_canon_sha256":"792773df103e476ca4ff593fa2de6cc564c31763b5df77e93375e0cf6519354f"},"schema_version":"1.0","source":{"id":"1303.1009","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.1009","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"arxiv_version","alias_value":"1303.1009v1","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.1009","created_at":"2026-05-18T03:31:53Z"},{"alias_kind":"pith_short_12","alias_value":"TC5YUVJKEYBE","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"TC5YUVJKEYBE3MB6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"TC5YUVJK","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:ac24e77b8a40af603ce93162d33eb976872d0e63aca4ac7ccbd019e1bf2faccc","target":"graph","created_at":"2026-05-18T03:31:53Z","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":"We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the crit","authors_text":"Center for Research on Embedded Systems (CERES), Halmstad University, Mohammad Reza Mousavi (Eindhoven University of Technology Eindhoven, Neda Noroozi (Eindhoven University of Technology Eindhoven, Sweden), the Netherlands), The Netherlands, Tim A.C. Willemse (Eindhoven University of Technology Eindhoven","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-05T12:18:31Z","title":"Decomposability in Input Output Conformance Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.1009","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:01eb847503575c18518b3c47ef67a84bd6abd111604dab18faf84a866b6e1f5a","target":"record","created_at":"2026-05-18T03:31:53Z","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":"37bdd2c3ff12a52b41aa838f8f362c8d05f328d56bbca2c2ae10007b41671bf2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-05T12:18:31Z","title_canon_sha256":"792773df103e476ca4ff593fa2de6cc564c31763b5df77e93375e0cf6519354f"},"schema_version":"1.0","source":{"id":"1303.1009","kind":"arxiv","version":1}},"canonical_sha256":"98bb8a552a26024db03e905300218c7db700da988daccc69951cb0bc8c58ff76","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98bb8a552a26024db03e905300218c7db700da988daccc69951cb0bc8c58ff76","first_computed_at":"2026-05-18T03:31:53.165963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:53.165963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6yamDHlgdGgzdlLOE+JsG+rFAnCi9zsqKqVaQjcltRigf1CAcxWqGH1RouAMuD2I2Af/kEHtMz8ReIYjJNaaBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:53.166401Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.1009","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01eb847503575c18518b3c47ef67a84bd6abd111604dab18faf84a866b6e1f5a","sha256:ac24e77b8a40af603ce93162d33eb976872d0e63aca4ac7ccbd019e1bf2faccc"],"state_sha256":"0075c75d8ebb3e631f8aa43c54ff36d113808cb561b9cd2fe127f1bd3ca6563f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iCSEfLlqcTvX5SRB0qpWU5Tmc2C3e8o8Zj5dKKPnciLBFkE9+EvEKrH/w7PVagqyZB0rydl2Ewe7uyYBWrDYAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:52:34.446240Z","bundle_sha256":"0fede02b3a1eec4ae085f0aefc0801698f28cb4e4e6dec58e67a232531aed343"}}