{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:Q5OHD6BHEQ2BSWU2Y44HAOXJOJ","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":"802a8d7ff7d4f4f14202025ec36c6d81d4ec3a34978bd98d927b71756ba57300","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:30:54Z","title_canon_sha256":"dfc5bc42600f3289d1a187e7801274ffaab397edd392028b2edae5f2c4c2176d"},"schema_version":"1.0","source":{"id":"1409.6603","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.6603","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"arxiv_version","alias_value":"1409.6603v1","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.6603","created_at":"2026-05-18T02:42:06Z"},{"alias_kind":"pith_short_12","alias_value":"Q5OHD6BHEQ2B","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_16","alias_value":"Q5OHD6BHEQ2BSWU2","created_at":"2026-05-18T12:28:43Z"},{"alias_kind":"pith_short_8","alias_value":"Q5OHD6BH","created_at":"2026-05-18T12:28:43Z"}],"graph_snapshots":[{"event_id":"sha256:a6b9a0ba675576302ad96b10f74c3a9955ec29988ab28c3a22c51e83863bf3ce","target":"graph","created_at":"2026-05-18T02:42:06Z","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":"This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of results. Then test case modeling is examined in depth and related to an evolutionary approach to model transformation. A number of test patterns is proposed that have proven helpful to the design of testable object-oriented systems. In contrast to other app","authors_text":"Bernhard Rumpe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:30:54Z","title":"Model-Based Testing of Object-Oriented Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.6603","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:4be90685662dbfd5b389ef7ece529f72563dac75590800b97886fbc7693423e4","target":"record","created_at":"2026-05-18T02:42:06Z","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":"802a8d7ff7d4f4f14202025ec36c6d81d4ec3a34978bd98d927b71756ba57300","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-09-22T17:30:54Z","title_canon_sha256":"dfc5bc42600f3289d1a187e7801274ffaab397edd392028b2edae5f2c4c2176d"},"schema_version":"1.0","source":{"id":"1409.6603","kind":"arxiv","version":1}},"canonical_sha256":"875c71f8272434195a9ac738703ae97269c271f2e979c69ed84f990f36262d49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"875c71f8272434195a9ac738703ae97269c271f2e979c69ed84f990f36262d49","first_computed_at":"2026-05-18T02:42:06.760614Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:42:06.760614Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tvj9tMSSDIuGeTlh+YV9JtcCxhBYilGIe9FrFtsAUz+YIpds0AnhsiZUSBXcnjNjghVooioSauFY5g8PZBP5DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:42:06.761021Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.6603","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4be90685662dbfd5b389ef7ece529f72563dac75590800b97886fbc7693423e4","sha256:a6b9a0ba675576302ad96b10f74c3a9955ec29988ab28c3a22c51e83863bf3ce"],"state_sha256":"b4ecc115ca39a02bcdd3b5954566b22d1ea3fa2f3cd11cd5ca8f25003580fc91"}