{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NKIVNNLSQH7HFGY7O2GHG32XZ5","short_pith_number":"pith:NKIVNNLS","canonical_record":{"source":{"id":"1901.01910","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-06T03:09:07Z","cross_cats_sorted":[],"title_canon_sha256":"0045922fe1902efb36a6d9f244d0eb6b7a75c13fc528ddd7e31a39bcabf5e4a4","abstract_canon_sha256":"36a3933109387a07d5bae9cc3017b0b4db4191546c4b48300c8535c3b86a3734"},"schema_version":"1.0"},"canonical_sha256":"6a9156b57281fe729b1f768c736f57cf7491bd4f639b3b392d112e42c695ee30","source":{"kind":"arxiv","id":"1901.01910","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01910","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01910v1","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01910","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"pith_short_12","alias_value":"NKIVNNLSQH7H","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NKIVNNLSQH7HFGY7","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NKIVNNLS","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NKIVNNLSQH7HFGY7O2GHG32XZ5","target":"record","payload":{"canonical_record":{"source":{"id":"1901.01910","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-06T03:09:07Z","cross_cats_sorted":[],"title_canon_sha256":"0045922fe1902efb36a6d9f244d0eb6b7a75c13fc528ddd7e31a39bcabf5e4a4","abstract_canon_sha256":"36a3933109387a07d5bae9cc3017b0b4db4191546c4b48300c8535c3b86a3734"},"schema_version":"1.0"},"canonical_sha256":"6a9156b57281fe729b1f768c736f57cf7491bd4f639b3b392d112e42c695ee30","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:49.362517Z","signature_b64":"IjaMycyPZ180HG3hf8h6lNfhYfrmtQJWy5e9QBVGs68aDC30cBtyla0b+LuD+1XV0ur8peQwU6kBDeZLSVJjCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a9156b57281fe729b1f768c736f57cf7491bd4f639b3b392d112e42c695ee30","last_reissued_at":"2026-05-17T23:56:49.361997Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:49.361997Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.01910","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-17T23:56:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s7Qyg77dkWYZOjjuedVjBWZd3WqOGY1eiIu2vXIs3NOUaEDPG05cc47Vj+7gMmLsFJmjK7j6vgwMwR6v+XQTBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:23:30.142057Z"},"content_sha256":"e5af6060e92c5d62ced7e3c662b67f88f49e83e0f50c4f5ee0bf42658c928cdf","schema_version":"1.0","event_id":"sha256:e5af6060e92c5d62ced7e3c662b67f88f49e83e0f50c4f5ee0bf42658c928cdf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NKIVNNLSQH7HFGY7O2GHG32XZ5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Learning: A Survey on Foundation, Tools and Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Hailong Sun, Shahbaz Ali, Yongwang Zhao","submitted_at":"2018-12-06T03:09:07Z","abstract_excerpt":"The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to enhance the reliability of software systems. Formal models form the basis and are prerequisite for the application of these techniques. An emerging and promising model learning technique can complement testing and verification techniques by providing learned models of black box systems fully automatically. This paper surveys one such state of the art technique"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01910","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-17T23:56:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7xFvy8zvVl/XIyN1/vtXdMAXYCmDH4TiXIEH3N+TOjY5QepiF0o8f9cQ+2SsP2NeHVJXOAfUCYmLOz+nvx9dBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T21:23:30.142712Z"},"content_sha256":"ed8a49b585850ba8e7d4ae29aa6adaf5aebdfa1c395e93ea78c39942c2058d49","schema_version":"1.0","event_id":"sha256:ed8a49b585850ba8e7d4ae29aa6adaf5aebdfa1c395e93ea78c39942c2058d49"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/bundle.json","state_url":"https://pith.science/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/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-06-05T21:23:30Z","links":{"resolver":"https://pith.science/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5","bundle":"https://pith.science/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/bundle.json","state":"https://pith.science/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKIVNNLSQH7HFGY7O2GHG32XZ5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NKIVNNLSQH7HFGY7O2GHG32XZ5","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":"36a3933109387a07d5bae9cc3017b0b4db4191546c4b48300c8535c3b86a3734","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-06T03:09:07Z","title_canon_sha256":"0045922fe1902efb36a6d9f244d0eb6b7a75c13fc528ddd7e31a39bcabf5e4a4"},"schema_version":"1.0","source":{"id":"1901.01910","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.01910","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"arxiv_version","alias_value":"1901.01910v1","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.01910","created_at":"2026-05-17T23:56:49Z"},{"alias_kind":"pith_short_12","alias_value":"NKIVNNLSQH7H","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"NKIVNNLSQH7HFGY7","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"NKIVNNLS","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:ed8a49b585850ba8e7d4ae29aa6adaf5aebdfa1c395e93ea78c39942c2058d49","target":"graph","created_at":"2026-05-17T23:56:49Z","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":"The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to enhance the reliability of software systems. Formal models form the basis and are prerequisite for the application of these techniques. An emerging and promising model learning technique can complement testing and verification techniques by providing learned models of black box systems fully automatically. This paper surveys one such state of the art technique","authors_text":"Hailong Sun, Shahbaz Ali, Yongwang Zhao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-06T03:09:07Z","title":"Model Learning: A Survey on Foundation, Tools and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.01910","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:e5af6060e92c5d62ced7e3c662b67f88f49e83e0f50c4f5ee0bf42658c928cdf","target":"record","created_at":"2026-05-17T23:56:49Z","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":"36a3933109387a07d5bae9cc3017b0b4db4191546c4b48300c8535c3b86a3734","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-06T03:09:07Z","title_canon_sha256":"0045922fe1902efb36a6d9f244d0eb6b7a75c13fc528ddd7e31a39bcabf5e4a4"},"schema_version":"1.0","source":{"id":"1901.01910","kind":"arxiv","version":1}},"canonical_sha256":"6a9156b57281fe729b1f768c736f57cf7491bd4f639b3b392d112e42c695ee30","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a9156b57281fe729b1f768c736f57cf7491bd4f639b3b392d112e42c695ee30","first_computed_at":"2026-05-17T23:56:49.361997Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:49.361997Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IjaMycyPZ180HG3hf8h6lNfhYfrmtQJWy5e9QBVGs68aDC30cBtyla0b+LuD+1XV0ur8peQwU6kBDeZLSVJjCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:49.362517Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.01910","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5af6060e92c5d62ced7e3c662b67f88f49e83e0f50c4f5ee0bf42658c928cdf","sha256:ed8a49b585850ba8e7d4ae29aa6adaf5aebdfa1c395e93ea78c39942c2058d49"],"state_sha256":"9e2eec4a999f5d3e91736130188d19ee2d0e8a959e8e5d86b891124e7e7ee54c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tTNqk8/+E3HZQDgVXXHVnwWrEXCNx9oUo9jic5sBzME05aLN7BlabVPTTejGBLHNhBdgiH29WbKjAjQXhZaAAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T21:23:30.146942Z","bundle_sha256":"b4eec4019b5b0786755b235290f23fc039cd6ea71341be6d6d3f23fd6a04fdd1"}}