{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:BEPXPAJZVKMLSQYW6XK65WDHPX","short_pith_number":"pith:BEPXPAJZ","schema_version":"1.0","canonical_sha256":"091f778139aa98b94316f5d5eed8677dddb83c859487271531091d5fa40fdfb2","source":{"kind":"arxiv","id":"1303.0379","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1303.0379","created_at":"2026-05-18T03:31:56.280292+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.0379v1","created_at":"2026-05-18T03:31:56.280292+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.0379","created_at":"2026-05-18T03:31:56.280292+00:00"},{"alias_kind":"pith_short_12","alias_value":"BEPXPAJZVKML","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_16","alias_value":"BEPXPAJZVKMLSQYW","created_at":"2026-05-18T12:27:38.830355+00:00"},{"alias_kind":"pith_short_8","alias_value":"BEPXPAJZ","created_at":"2026-05-18T12:27:38.830355+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/BEPXPAJZVKMLSQYW6XK65WDHPX","json":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX.json","graph_json":"https://pith.science/api/pith-number/BEPXPAJZVKMLSQYW6XK65WDHPX/graph.json","events_json":"https://pith.science/api/pith-number/BEPXPAJZVKMLSQYW6XK65WDHPX/events.json","paper":"https://pith.science/paper/BEPXPAJZ"},"agent_actions":{"view_html":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX","download_json":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX.json","view_paper":"https://pith.science/paper/BEPXPAJZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.0379&json=true","fetch_graph":"https://pith.science/api/pith-number/BEPXPAJZVKMLSQYW6XK65WDHPX/graph.json","fetch_events":"https://pith.science/api/pith-number/BEPXPAJZVKMLSQYW6XK65WDHPX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/action/storage_attestation","attest_author":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/action/author_attestation","sign_citation":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/action/citation_signature","submit_replication":"https://pith.science/pith/BEPXPAJZVKMLSQYW6XK65WDHPX/action/replication_record"}},"created_at":"2026-05-18T03:31:56.280292+00:00","updated_at":"2026-05-18T03:31:56.280292+00:00"}