{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XCLYOEPVV24BAHSDKJCUVLFWZI","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":"d37a11de168f3255615d0aba5de2c77484bbddcccf57e6fb122ab808f501b22d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-01-24T11:19:53Z","title_canon_sha256":"20e01672b8b4d7ec1dfc32d90545c995f6f7ca4b0a4ecfc4409e7287b4af0113"},"schema_version":"1.0","source":{"id":"1701.06815","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.06815","created_at":"2026-05-18T00:52:12Z"},{"alias_kind":"arxiv_version","alias_value":"1701.06815v1","created_at":"2026-05-18T00:52:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.06815","created_at":"2026-05-18T00:52:12Z"},{"alias_kind":"pith_short_12","alias_value":"XCLYOEPVV24B","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XCLYOEPVV24BAHSD","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XCLYOEPV","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:efcd7a9f6ca8bbc9fa311c2ff9de42ab38c0b4ad205b2cf10a58b6dcb5c382b5","target":"graph","created_at":"2026-05-18T00:52:12Z","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":"Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in terms of error detection, model coverage, and implementation coverage. Some of these suites were generated automatically with and without models, purely at random, and with dedicated functional test selection criteria. Other suites were derived manually, with and without the model at hand. Both automatically and manually derived model-based test suites detect","authors_text":"Alexander Pretschner, Bernd Sostawa, Christian K\\\"janel, Martin Baumgartner, R\\\"udiger Z\\\"olch, Stefan Wagner, Thomas Stauner, Wolfgang Prenninger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-01-24T11:19:53Z","title":"One evaluation of model-based testing and its automation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.06815","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:478cc0abc3e6a2a738ba42d4e16c774027dcc874e6b73bc229bc4658a413f2b6","target":"record","created_at":"2026-05-18T00:52:12Z","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":"d37a11de168f3255615d0aba5de2c77484bbddcccf57e6fb122ab808f501b22d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-01-24T11:19:53Z","title_canon_sha256":"20e01672b8b4d7ec1dfc32d90545c995f6f7ca4b0a4ecfc4409e7287b4af0113"},"schema_version":"1.0","source":{"id":"1701.06815","kind":"arxiv","version":1}},"canonical_sha256":"b8978711f5aeb8101e4352454aacb6ca073fa59b7536c0b2bd06d4e1d8c2cbbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8978711f5aeb8101e4352454aacb6ca073fa59b7536c0b2bd06d4e1d8c2cbbb","first_computed_at":"2026-05-18T00:52:12.134540Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:12.134540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xJiAckVvv97HphvpgtcBD4GHqt+99spq0+lO862DXHoc8a82FCKGAu0FJIeS6HtlKfwq9bOLvV6ZB5gVMrSNBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:12.135033Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.06815","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:478cc0abc3e6a2a738ba42d4e16c774027dcc874e6b73bc229bc4658a413f2b6","sha256:efcd7a9f6ca8bbc9fa311c2ff9de42ab38c0b4ad205b2cf10a58b6dcb5c382b5"],"state_sha256":"d852587a53ff0273ea2de205ce6c5a571d13b6e595bce2187a9da0648256c32f"}