{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:BEPXPAJZVKMLSQYW6XK65WDHPX","short_pith_number":"pith:BEPXPAJZ","canonical_record":{"source":{"id":"1303.0379","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-02T11:53:08Z","cross_cats_sorted":[],"title_canon_sha256":"1dff66d36700b6fe6d9975287701330780d28ee722171917521ed37dabb42a08","abstract_canon_sha256":"f2503ce72b836d97af6e5156b1159a39482a353c9cfe648c9ef8bc8f0a6fab97"},"schema_version":"1.0"},"canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","source":{"kind":"arxiv","id":"1303.0379","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0379","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0379v1","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0379","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"pith_short_12","alias_value":"BEPXPAJZVKML","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"BEPXPAJZVKMLSQYW","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"BEPXPAJZ","created_at":"2026-05-18T12:27:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:BEPXPAJZVKMLSQYW6XK65WDHPX","target":"record","payload":{"canonical_record":{"source":{"id":"1303.0379","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-02T11:53:08Z","cross_cats_sorted":[],"title_canon_sha256":"1dff66d36700b6fe6d9975287701330780d28ee722171917521ed37dabb42a08","abstract_canon_sha256":"f2503ce72b836d97af6e5156b1159a39482a353c9cfe648c9ef8bc8f0a6fab97"},"schema_version":"1.0"},"canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:56.280934Z","signature_b64":"vkBs+YR1+sXBKh8zW7h1A3qAA2FDgf2Q+fnxk+aNebPjIGEbwtVtHl4VWV68idke7UdLMiSrIcov5mq/iH+dBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","last_reissued_at":"2026-05-18T03:31:56.280191Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:56.280191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.0379","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:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"met+Wk+nay67YP1Eykad+s7MP7n0uD+RHF/ycf6Ry8COhyVDALqdQ8EbflMT9pI9f1OvpgKUl06T964FpmRsAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T23:29:54.622486Z"},"content_sha256":"3a89d4a41868b5d86a917ced05a14d62ebf3a4423f326bee76977c1d27625f2a","schema_version":"1.0","event_id":"sha256:3a89d4a41868b5d86a917ced05a14d62ebf3a4423f326bee76977c1d27625f2a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:BEPXPAJZVKMLSQYW6XK65WDHPX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Eighth Workshop on Model-Based Testing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander K. Petrenko (Institute for System Programming of Russian Academy of Sciences, Germany), Holger Schlingloff (Fraunhofer FOKUS, Humboldt University of Berlin, Russia)","submitted_at":"2013-03-02T11:53:08Z","abstract_excerpt":"This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013.\n  The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0379","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:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"erOzxsWHk783C2D8hd9WDJPdNYJm2OsULdObH9rzKX7tGDPuT/UXYGSPlPJX9Fc8T/Zyeck9uQ10CAsvQbjcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T23:29:54.622838Z"},"content_sha256":"99ef27e4df79afc65a92e6ca33d05a5badc698c0c47347c22429f38fa2dfd323","schema_version":"1.0","event_id":"sha256:99ef27e4df79afc65a92e6ca33d05a5badc698c0c47347c22429f38fa2dfd323"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/bundle.json","state_url":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/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-07-02T23:29:54Z","links":{"resolver":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX","bundle":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/bundle.json","state":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BEPXPAJZVKMLSQYW6XK65WDHPX","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":"f2503ce72b836d97af6e5156b1159a39482a353c9cfe648c9ef8bc8f0a6fab97","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-02T11:53:08Z","title_canon_sha256":"1dff66d36700b6fe6d9975287701330780d28ee722171917521ed37dabb42a08"},"schema_version":"1.0","source":{"id":"1303.0379","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.0379","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"arxiv_version","alias_value":"1303.0379v1","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0379","created_at":"2026-05-18T03:31:56Z"},{"alias_kind":"pith_short_12","alias_value":"BEPXPAJZVKML","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"BEPXPAJZVKMLSQYW","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"BEPXPAJZ","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:99ef27e4df79afc65a92e6ca33d05a5badc698c0c47347c22429f38fa2dfd323","target":"graph","created_at":"2026-05-18T03:31:56Z","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 volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013.\n  The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to ","authors_text":"Alexander K. Petrenko (Institute for System Programming of Russian Academy of Sciences, Germany), Holger Schlingloff (Fraunhofer FOKUS, Humboldt University of Berlin, Russia)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-02T11:53:08Z","title":"Proceedings Eighth Workshop on Model-Based Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.0379","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:3a89d4a41868b5d86a917ced05a14d62ebf3a4423f326bee76977c1d27625f2a","target":"record","created_at":"2026-05-18T03:31:56Z","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":"f2503ce72b836d97af6e5156b1159a39482a353c9cfe648c9ef8bc8f0a6fab97","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-02T11:53:08Z","title_canon_sha256":"1dff66d36700b6fe6d9975287701330780d28ee722171917521ed37dabb42a08"},"schema_version":"1.0","source":{"id":"1303.0379","kind":"arxiv","version":1}},"canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","first_computed_at":"2026-05-18T03:31:56.280191Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:56.280191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vkBs+YR1+sXBKh8zW7h1A3qAA2FDgf2Q+fnxk+aNebPjIGEbwtVtHl4VWV68idke7UdLMiSrIcov5mq/iH+dBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:56.280934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.0379","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a89d4a41868b5d86a917ced05a14d62ebf3a4423f326bee76977c1d27625f2a","sha256:99ef27e4df79afc65a92e6ca33d05a5badc698c0c47347c22429f38fa2dfd323"],"state_sha256":"cb54541f9ab2c1db6cf92624f2c2a4c6f2ebfa9eb1539730a76b287df5a4235c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pYmvAXh1r9EMi0icLCKDGxXGi4E2T2TkamvXeqVyyR2035OqK8AuUoiauWTIlMnEvStz5AXQHVqU7EP7vsCIDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T23:29:54.624755Z","bundle_sha256":"0be6b6c82fa4165c637f161936b670e371926951ebb5159293da443fcc9de134"}}