{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:OT7FQUMQ5IWXEIIUFSVWYJP7OQ","short_pith_number":"pith:OT7FQUMQ","canonical_record":{"source":{"id":"2307.03279","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-06T20:30:35Z","cross_cats_sorted":[],"title_canon_sha256":"6014c6a4ca36d9293ca121a42a1442020e2fd14d5e43047140c6c98c1058ff36","abstract_canon_sha256":"a0cb806de48f75d0e391950f4f4bfd93eb77933bf815956bd9e3184ef92c8668"},"schema_version":"1.0"},"canonical_sha256":"74fe585190ea2d7221142cab6c25ff7425c237222d5b10781a7cc387c3ae6113","source":{"kind":"arxiv","id":"2307.03279","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.03279","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"arxiv_version","alias_value":"2307.03279v1","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.03279","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_12","alias_value":"OT7FQUMQ5IWX","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_16","alias_value":"OT7FQUMQ5IWXEIIU","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_8","alias_value":"OT7FQUMQ","created_at":"2026-07-05T06:28:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:OT7FQUMQ5IWXEIIUFSVWYJP7OQ","target":"record","payload":{"canonical_record":{"source":{"id":"2307.03279","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-06T20:30:35Z","cross_cats_sorted":[],"title_canon_sha256":"6014c6a4ca36d9293ca121a42a1442020e2fd14d5e43047140c6c98c1058ff36","abstract_canon_sha256":"a0cb806de48f75d0e391950f4f4bfd93eb77933bf815956bd9e3184ef92c8668"},"schema_version":"1.0"},"canonical_sha256":"74fe585190ea2d7221142cab6c25ff7425c237222d5b10781a7cc387c3ae6113","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:28:40.342573Z","signature_b64":"CbZDlGaPy4dQ76pyp4YlB1LqlwX7xMFg0BRuo6WdyhjL49F+ZesfYxBcbTY79zOExWI01H8XceQaW/Hu1Z/cAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74fe585190ea2d7221142cab6c25ff7425c237222d5b10781a7cc387c3ae6113","last_reissued_at":"2026-07-05T06:28:40.342108Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:28:40.342108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.03279","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-05T06:28:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/8Tnsm1ADOa6vVN/V36f4Me9iGkGvTWSWpYAnd89LKof5DUNM4JC3Wc95jjkylzfp8wuGb8Do7UNxIcM50hOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:05:44.395674Z"},"content_sha256":"aff62105a2e4c865b58b66a9627296e92c526772a5e7ddb30c45d7d3a7f737eb","schema_version":"1.0","event_id":"sha256:aff62105a2e4c865b58b66a9627296e92c526772a5e7ddb30c45d7d3a7f737eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:OT7FQUMQ5IWXEIIUFSVWYJP7OQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessio Gambi, Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Jens Horneber, Sebastiano Panichella, Tianhai Liu, Timo Kehrer","submitted_at":"2023-07-06T20:30:35Z","abstract_excerpt":"Software systems for safety-critical systems like self-driving cars (SDCs) need to be tested rigorously. Especially electronic control units (ECUs) of SDCs should be tested with realistic input data. In this context, a communication protocol called Controller Area Network (CAN) is typically used to transfer sensor data to the SDC control units. A challenge for SDC maintainers and testers is the need to manually define the CAN inputs that realistically represent the state of the SDC in the real world. To address this challenge, we developed TEASER, which is a tool that generates realistic CAN s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.03279","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/2307.03279/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-05T06:28:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"19Ub6xq5rdrhnMZzkwilt+JScPRqluig6OZC02fEB48TQj7RQfmhzFul8B518uqUlT5fhOkf1j+XeX+fQN7RDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T03:05:44.396137Z"},"content_sha256":"c2cfcb90e50707ecf00d5f6f611d4969bcf0b9cec1d48752fc43e8f7b41f2b11","schema_version":"1.0","event_id":"sha256:c2cfcb90e50707ecf00d5f6f611d4969bcf0b9cec1d48752fc43e8f7b41f2b11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/bundle.json","state_url":"https://pith.science/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/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-08-05T03:05:44Z","links":{"resolver":"https://pith.science/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ","bundle":"https://pith.science/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/bundle.json","state":"https://pith.science/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OT7FQUMQ5IWXEIIUFSVWYJP7OQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:OT7FQUMQ5IWXEIIUFSVWYJP7OQ","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":"a0cb806de48f75d0e391950f4f4bfd93eb77933bf815956bd9e3184ef92c8668","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-06T20:30:35Z","title_canon_sha256":"6014c6a4ca36d9293ca121a42a1442020e2fd14d5e43047140c6c98c1058ff36"},"schema_version":"1.0","source":{"id":"2307.03279","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.03279","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"arxiv_version","alias_value":"2307.03279v1","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.03279","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_12","alias_value":"OT7FQUMQ5IWX","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_16","alias_value":"OT7FQUMQ5IWXEIIU","created_at":"2026-07-05T06:28:40Z"},{"alias_kind":"pith_short_8","alias_value":"OT7FQUMQ","created_at":"2026-07-05T06:28:40Z"}],"graph_snapshots":[{"event_id":"sha256:c2cfcb90e50707ecf00d5f6f611d4969bcf0b9cec1d48752fc43e8f7b41f2b11","target":"graph","created_at":"2026-07-05T06:28:40Z","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/2307.03279/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software systems for safety-critical systems like self-driving cars (SDCs) need to be tested rigorously. Especially electronic control units (ECUs) of SDCs should be tested with realistic input data. In this context, a communication protocol called Controller Area Network (CAN) is typically used to transfer sensor data to the SDC control units. A challenge for SDC maintainers and testers is the need to manually define the CAN inputs that realistically represent the state of the SDC in the real world. To address this challenge, we developed TEASER, which is a tool that generates realistic CAN s","authors_text":"Alessio Gambi, Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Jens Horneber, Sebastiano Panichella, Tianhai Liu, Timo Kehrer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-06T20:30:35Z","title":"TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.03279","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:aff62105a2e4c865b58b66a9627296e92c526772a5e7ddb30c45d7d3a7f737eb","target":"record","created_at":"2026-07-05T06:28:40Z","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":"a0cb806de48f75d0e391950f4f4bfd93eb77933bf815956bd9e3184ef92c8668","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-07-06T20:30:35Z","title_canon_sha256":"6014c6a4ca36d9293ca121a42a1442020e2fd14d5e43047140c6c98c1058ff36"},"schema_version":"1.0","source":{"id":"2307.03279","kind":"arxiv","version":1}},"canonical_sha256":"74fe585190ea2d7221142cab6c25ff7425c237222d5b10781a7cc387c3ae6113","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74fe585190ea2d7221142cab6c25ff7425c237222d5b10781a7cc387c3ae6113","first_computed_at":"2026-07-05T06:28:40.342108Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:28:40.342108Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CbZDlGaPy4dQ76pyp4YlB1LqlwX7xMFg0BRuo6WdyhjL49F+ZesfYxBcbTY79zOExWI01H8XceQaW/Hu1Z/cAg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:28:40.342573Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.03279","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aff62105a2e4c865b58b66a9627296e92c526772a5e7ddb30c45d7d3a7f737eb","sha256:c2cfcb90e50707ecf00d5f6f611d4969bcf0b9cec1d48752fc43e8f7b41f2b11"],"state_sha256":"dd4241a4cca1ca669ea6e56ae389e3b2fd75a36e65cc7a98e79c92b05fd7b390"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lCFI0Bf7QIyyEkWZyspaC31oKKbCiIaDzVVX361Zlzn9gSlre59Wty8r46PYDcBccGGHTcGcUIjAorBGJ0YxAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T03:05:44.399516Z","bundle_sha256":"f1204e51f3d8a45a4881c90bb7c7cf48f4bd817730184dec884c1c321becef6c"}}