{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7DBT4FU4IGXMPQLIN25XPEUVH5","short_pith_number":"pith:7DBT4FU4","canonical_record":{"source":{"id":"1910.00806","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-10-02T07:37:38Z","cross_cats_sorted":[],"title_canon_sha256":"f28558abe618d427d5d44b5c4082ced3bf5cf54f448a22479a386e268c641ed8","abstract_canon_sha256":"42aebdff29c11c095bb0722f681ee354ecf1f9aa12cf3659f94f58f98a7cacb5"},"schema_version":"1.0"},"canonical_sha256":"f8c33e169c41aec7c1686ebb7792953f49f2b7f5454542422661ec4f90af7226","source":{"kind":"arxiv","id":"1910.00806","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00806","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00806v1","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00806","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_12","alias_value":"7DBT4FU4IGXM","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_16","alias_value":"7DBT4FU4IGXMPQLI","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_8","alias_value":"7DBT4FU4","created_at":"2026-07-05T01:24:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7DBT4FU4IGXMPQLIN25XPEUVH5","target":"record","payload":{"canonical_record":{"source":{"id":"1910.00806","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-10-02T07:37:38Z","cross_cats_sorted":[],"title_canon_sha256":"f28558abe618d427d5d44b5c4082ced3bf5cf54f448a22479a386e268c641ed8","abstract_canon_sha256":"42aebdff29c11c095bb0722f681ee354ecf1f9aa12cf3659f94f58f98a7cacb5"},"schema_version":"1.0"},"canonical_sha256":"f8c33e169c41aec7c1686ebb7792953f49f2b7f5454542422661ec4f90af7226","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:24:15.238892Z","signature_b64":"ubUXqlOlOuz5M6Uc44ErkDo+KRyIc5yY0sFKZUhxmfRYzSwQy6iw8LVW+atflV63LvXeNbAPhhHVVShpiZFDDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8c33e169c41aec7c1686ebb7792953f49f2b7f5454542422661ec4f90af7226","last_reissued_at":"2026-07-05T01:24:15.238450Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:24:15.238450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.00806","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-07-05T01:24:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fyZIcYwPd42RtVPq7C4z4zGHMc4dvOUFwlk/Ji9GeOuCl8hGK70nUyw756s+8mN9J9ZEQyQl5C6VQrWLtxSlDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T05:37:36.287089Z"},"content_sha256":"caf027e95cf61e626e565cf90d438237f8ef2d2ad76906785a4e9990e1cb1602","schema_version":"1.0","event_id":"sha256:caf027e95cf61e626e565cf90d438237f8ef2d2ad76906785a4e9990e1cb1602"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7DBT4FU4IGXMPQLIN25XPEUVH5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Mutation-based Approach for Assessing Weight Coverage of a Path Planner","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anthony Ventresque, Fuyuki Ishikawa, Paolo Arcaini, Thomas Laurent","submitted_at":"2019-10-02T07:37:38Z","abstract_excerpt":"Autonomous cars are subjected to several different kind of inputs (other cars, road structure, etc.) and, therefore, testing the car under all possible conditions is impossible. To tackle this problem, scenario-based testing for automated driving defines categories of different scenarios that should be covered. Although this kind of coverage is a necessary condition, it still does not guarantee that any possible behaviour of the autonomous car is tested. In this paper, we consider the path planner of an autonomous car that decides, at each timestep, the short-term path to follow in the next fe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00806","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1910.00806/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:24:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QnwYwrvHlkLsoEy9IF/Sg5g6mZrAj6D0FWnz82cg42gJfijXkeidXNaVV8FlqhJiAkAyaSK1zlTNGAtY/LcfBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-22T05:37:36.287476Z"},"content_sha256":"896f722238ec1335b7a71355ed5e6d13ac30efe8211531336f073d2ef47ec968","schema_version":"1.0","event_id":"sha256:896f722238ec1335b7a71355ed5e6d13ac30efe8211531336f073d2ef47ec968"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/bundle.json","state_url":"https://pith.science/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/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-22T05:37:36Z","links":{"resolver":"https://pith.science/pith/7DBT4FU4IGXMPQLIN25XPEUVH5","bundle":"https://pith.science/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/bundle.json","state":"https://pith.science/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7DBT4FU4IGXMPQLIN25XPEUVH5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7DBT4FU4IGXMPQLIN25XPEUVH5","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":"42aebdff29c11c095bb0722f681ee354ecf1f9aa12cf3659f94f58f98a7cacb5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-10-02T07:37:38Z","title_canon_sha256":"f28558abe618d427d5d44b5c4082ced3bf5cf54f448a22479a386e268c641ed8"},"schema_version":"1.0","source":{"id":"1910.00806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00806","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00806v1","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00806","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_12","alias_value":"7DBT4FU4IGXM","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_16","alias_value":"7DBT4FU4IGXMPQLI","created_at":"2026-07-05T01:24:15Z"},{"alias_kind":"pith_short_8","alias_value":"7DBT4FU4","created_at":"2026-07-05T01:24:15Z"}],"graph_snapshots":[{"event_id":"sha256:896f722238ec1335b7a71355ed5e6d13ac30efe8211531336f073d2ef47ec968","target":"graph","created_at":"2026-07-05T01:24:15Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1910.00806/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous cars are subjected to several different kind of inputs (other cars, road structure, etc.) and, therefore, testing the car under all possible conditions is impossible. To tackle this problem, scenario-based testing for automated driving defines categories of different scenarios that should be covered. Although this kind of coverage is a necessary condition, it still does not guarantee that any possible behaviour of the autonomous car is tested. In this paper, we consider the path planner of an autonomous car that decides, at each timestep, the short-term path to follow in the next fe","authors_text":"Anthony Ventresque, Fuyuki Ishikawa, Paolo Arcaini, Thomas Laurent","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-10-02T07:37:38Z","title":"A Mutation-based Approach for Assessing Weight Coverage of a Path Planner"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00806","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:caf027e95cf61e626e565cf90d438237f8ef2d2ad76906785a4e9990e1cb1602","target":"record","created_at":"2026-07-05T01:24:15Z","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":"42aebdff29c11c095bb0722f681ee354ecf1f9aa12cf3659f94f58f98a7cacb5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-10-02T07:37:38Z","title_canon_sha256":"f28558abe618d427d5d44b5c4082ced3bf5cf54f448a22479a386e268c641ed8"},"schema_version":"1.0","source":{"id":"1910.00806","kind":"arxiv","version":1}},"canonical_sha256":"f8c33e169c41aec7c1686ebb7792953f49f2b7f5454542422661ec4f90af7226","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8c33e169c41aec7c1686ebb7792953f49f2b7f5454542422661ec4f90af7226","first_computed_at":"2026-07-05T01:24:15.238450Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:24:15.238450Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ubUXqlOlOuz5M6Uc44ErkDo+KRyIc5yY0sFKZUhxmfRYzSwQy6iw8LVW+atflV63LvXeNbAPhhHVVShpiZFDDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:24:15.238892Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.00806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:caf027e95cf61e626e565cf90d438237f8ef2d2ad76906785a4e9990e1cb1602","sha256:896f722238ec1335b7a71355ed5e6d13ac30efe8211531336f073d2ef47ec968"],"state_sha256":"6087c0e1d40dcce298abbb8cb1cb868d5eda0fbcc3d4d4e7ba5d1bb14950388c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cS0jcEpmLdH7KI+RMNznPLQC8Qy7fTb6jOV3/JTRF/SobeTjDla2dGUCi6G8gRaaF/Iumo+IKkczWaaWrtGjBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-22T05:37:36.289710Z","bundle_sha256":"66e4d9c95f30155bc52c5e37f2cefa2090482277375eab1e56249574656ce334"}}