{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:F52YEGWD4PTMDEZS7JJWOYM725","short_pith_number":"pith:F52YEGWD","schema_version":"1.0","canonical_sha256":"2f75821ac3e3e6c19332fa5367619fd752e15461a7f6cebb1ba3a0d607b5ce28","source":{"kind":"arxiv","id":"1606.09035","version":7},"attestation_state":"computed","paper":{"title":"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.SE"],"primary_cat":"cs.LO","authors_text":"(2) Institute for Programming, Lars Luthmann (1), Malte Lochau (1) ((1) Real-Time Systems Lab, Reactive Systems, Stephan Mennicke (2), TU Braunschweig), TU Darmstadt","submitted_at":"2016-06-29T10:29:45Z","abstract_excerpt":"We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and negative conformance testing with optimistic and pessimistic environmental assumptions. We further show that the resulting conformance relation on IR-M"},"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":"1606.09035","kind":"arxiv","version":7},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2016-06-29T10:29:45Z","cross_cats_sorted":["cs.FL","cs.SE"],"title_canon_sha256":"a6ce179eb76ee1a6d11029382eb90fa896425340b168ecd088704a90c63be7dd","abstract_canon_sha256":"b1cd6d583a575b907091586470aed6f104218cb525a77ea7e2746d659d2692c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:03.424337Z","signature_b64":"QV9ln1oTOwsYhrmvEUNGI4/1KQsOxrNf7hhppoWZdOecyKtv7IFH+qi0PBWAUqoW8u9mbI8BHsvfrShTCwD9Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f75821ac3e3e6c19332fa5367619fd752e15461a7f6cebb1ba3a0d607b5ce28","last_reissued_at":"2026-05-17T23:54:03.423893Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:03.423893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL","cs.SE"],"primary_cat":"cs.LO","authors_text":"(2) Institute for Programming, Lars Luthmann (1), Malte Lochau (1) ((1) Real-Time Systems Lab, Reactive Systems, Stephan Mennicke (2), TU Braunschweig), TU Darmstadt","submitted_at":"2016-06-29T10:29:45Z","abstract_excerpt":"We propose an input/output conformance testing theory utilizing Modal Interface Automata with Input Refusals (IR-MIA) as novel behavioral formalism for both the specification and the implementation under test. A modal refinement relation on IR-MIA allows distinguishing between obligatory and allowed output behaviors, as well as between implicitly underspecified and explicitly forbidden input behaviors. The theory therefore supports positive and negative conformance testing with optimistic and pessimistic environmental assumptions. We further show that the resulting conformance relation on IR-M"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.09035","kind":"arxiv","version":7},"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":"1606.09035","created_at":"2026-05-17T23:54:03.423959+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.09035v7","created_at":"2026-05-17T23:54:03.423959+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.09035","created_at":"2026-05-17T23:54:03.423959+00:00"},{"alias_kind":"pith_short_12","alias_value":"F52YEGWD4PTM","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_16","alias_value":"F52YEGWD4PTMDEZS","created_at":"2026-05-18T12:30:15.759754+00:00"},{"alias_kind":"pith_short_8","alias_value":"F52YEGWD","created_at":"2026-05-18T12:30:15.759754+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/F52YEGWD4PTMDEZS7JJWOYM725","json":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725.json","graph_json":"https://pith.science/api/pith-number/F52YEGWD4PTMDEZS7JJWOYM725/graph.json","events_json":"https://pith.science/api/pith-number/F52YEGWD4PTMDEZS7JJWOYM725/events.json","paper":"https://pith.science/paper/F52YEGWD"},"agent_actions":{"view_html":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725","download_json":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725.json","view_paper":"https://pith.science/paper/F52YEGWD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.09035&json=true","fetch_graph":"https://pith.science/api/pith-number/F52YEGWD4PTMDEZS7JJWOYM725/graph.json","fetch_events":"https://pith.science/api/pith-number/F52YEGWD4PTMDEZS7JJWOYM725/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725/action/storage_attestation","attest_author":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725/action/author_attestation","sign_citation":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725/action/citation_signature","submit_replication":"https://pith.science/pith/F52YEGWD4PTMDEZS7JJWOYM725/action/replication_record"}},"created_at":"2026-05-17T23:54:03.423959+00:00","updated_at":"2026-05-17T23:54:03.423959+00:00"}