{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:I4E5ZLPA7A3QEMNX6RTY6WNC7C","short_pith_number":"pith:I4E5ZLPA","canonical_record":{"source":{"id":"1912.05434","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-12-11T16:41:29Z","cross_cats_sorted":[],"title_canon_sha256":"626cf743ebd165d37aff7242bee41e88190a336a51f383de689ed74c4b29f032","abstract_canon_sha256":"28f60c4e148c6c2318729e62b4e4261f936b32709ca0d07933d464747fa8e2fb"},"schema_version":"1.0"},"canonical_sha256":"4709dcade0f8370231b7f4678f59a2f8808eeb74ff6da9a9b7a50ef33d159fee","source":{"kind":"arxiv","id":"1912.05434","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.05434","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"arxiv_version","alias_value":"1912.05434v3","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.05434","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_12","alias_value":"I4E5ZLPA7A3Q","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_16","alias_value":"I4E5ZLPA7A3QEMNX","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_8","alias_value":"I4E5ZLPA","created_at":"2026-07-05T01:31:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:I4E5ZLPA7A3QEMNX6RTY6WNC7C","target":"record","payload":{"canonical_record":{"source":{"id":"1912.05434","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-12-11T16:41:29Z","cross_cats_sorted":[],"title_canon_sha256":"626cf743ebd165d37aff7242bee41e88190a336a51f383de689ed74c4b29f032","abstract_canon_sha256":"28f60c4e148c6c2318729e62b4e4261f936b32709ca0d07933d464747fa8e2fb"},"schema_version":"1.0"},"canonical_sha256":"4709dcade0f8370231b7f4678f59a2f8808eeb74ff6da9a9b7a50ef33d159fee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:31:09.231932Z","signature_b64":"y1fTL21RKrz7TSIZ6wxxmZ9gHk5xKNYKIZEvAE/CU1h+rSLqUfIgWsYjJfhQ+rgPOFadlE/BpA890SySGVbWCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4709dcade0f8370231b7f4678f59a2f8808eeb74ff6da9a9b7a50ef33d159fee","last_reissued_at":"2026-07-05T01:31:09.231487Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:31:09.231487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1912.05434","source_version":3,"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:31:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JRlxdbY0EFu79hnw4HFASRxWz3BCAgTgEUbHZqTumSe1EnPoeYbLIiaiIV9k7aD9e97fXtWWBIwYkpfqePc/Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:11:44.629310Z"},"content_sha256":"7453bf067686d0d98da2ea7fc022f74aa262419cdfc4ac89965cc199de29997c","schema_version":"1.0","event_id":"sha256:7453bf067686d0d98da2ea7fc022f74aa262419cdfc4ac89965cc199de29997c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:I4E5ZLPA7A3QEMNX6RTY6WNC7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MA","authors_text":"Abanoub Ghobrial, Greg Chance, Kerstin Eder, Severin Lemaignan, Tony Pipe","submitted_at":"2019-12-11T16:41:29Z","abstract_excerpt":"Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV verification using software testing agents. The multi-agent system (MAS) programming paradigm offers rational agency, causality and strategic planning between multiple agents. We exploit these aspects for test generation, focusing in particular on the generation of tests that trigger the precondition of an assertion. On the example of a key assertion we show that,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.05434","kind":"arxiv","version":3},"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/1912.05434/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:31:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DLDtiTfxC1bSrae62tkKSF9gjLYp5jojVyxHH8p+kqXuTFhtncnqPXSZR400TL/HEuW/WNT11pBAqg5/7jL8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T21:11:44.630026Z"},"content_sha256":"449f17404cbdef39b27f58cc061eedbca825e4dfcb5bd1f9daab40157d8bdfac","schema_version":"1.0","event_id":"sha256:449f17404cbdef39b27f58cc061eedbca825e4dfcb5bd1f9daab40157d8bdfac"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/bundle.json","state_url":"https://pith.science/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/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-11T21:11:44Z","links":{"resolver":"https://pith.science/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C","bundle":"https://pith.science/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/bundle.json","state":"https://pith.science/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/I4E5ZLPA7A3QEMNX6RTY6WNC7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:I4E5ZLPA7A3QEMNX6RTY6WNC7C","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":"28f60c4e148c6c2318729e62b4e4261f936b32709ca0d07933d464747fa8e2fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-12-11T16:41:29Z","title_canon_sha256":"626cf743ebd165d37aff7242bee41e88190a336a51f383de689ed74c4b29f032"},"schema_version":"1.0","source":{"id":"1912.05434","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.05434","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"arxiv_version","alias_value":"1912.05434v3","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.05434","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_12","alias_value":"I4E5ZLPA7A3Q","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_16","alias_value":"I4E5ZLPA7A3QEMNX","created_at":"2026-07-05T01:31:09Z"},{"alias_kind":"pith_short_8","alias_value":"I4E5ZLPA","created_at":"2026-07-05T01:31:09Z"}],"graph_snapshots":[{"event_id":"sha256:449f17404cbdef39b27f58cc061eedbca825e4dfcb5bd1f9daab40157d8bdfac","target":"graph","created_at":"2026-07-05T01:31:09Z","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/1912.05434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV verification using software testing agents. The multi-agent system (MAS) programming paradigm offers rational agency, causality and strategic planning between multiple agents. We exploit these aspects for test generation, focusing in particular on the generation of tests that trigger the precondition of an assertion. On the example of a key assertion we show that,","authors_text":"Abanoub Ghobrial, Greg Chance, Kerstin Eder, Severin Lemaignan, Tony Pipe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-12-11T16:41:29Z","title":"An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.05434","kind":"arxiv","version":3},"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:7453bf067686d0d98da2ea7fc022f74aa262419cdfc4ac89965cc199de29997c","target":"record","created_at":"2026-07-05T01:31:09Z","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":"28f60c4e148c6c2318729e62b4e4261f936b32709ca0d07933d464747fa8e2fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-12-11T16:41:29Z","title_canon_sha256":"626cf743ebd165d37aff7242bee41e88190a336a51f383de689ed74c4b29f032"},"schema_version":"1.0","source":{"id":"1912.05434","kind":"arxiv","version":3}},"canonical_sha256":"4709dcade0f8370231b7f4678f59a2f8808eeb74ff6da9a9b7a50ef33d159fee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4709dcade0f8370231b7f4678f59a2f8808eeb74ff6da9a9b7a50ef33d159fee","first_computed_at":"2026-07-05T01:31:09.231487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:31:09.231487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y1fTL21RKrz7TSIZ6wxxmZ9gHk5xKNYKIZEvAE/CU1h+rSLqUfIgWsYjJfhQ+rgPOFadlE/BpA890SySGVbWCg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:31:09.231932Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.05434","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7453bf067686d0d98da2ea7fc022f74aa262419cdfc4ac89965cc199de29997c","sha256:449f17404cbdef39b27f58cc061eedbca825e4dfcb5bd1f9daab40157d8bdfac"],"state_sha256":"cb7438e0e9b87ae21757806f5fc7a3220684d606ffb4b43a08e363a1bb63cb04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hnrU9o96UUXWExOIzg8Ce4oGAe8yt4kgQ90UeETpAbsqaI2fc6+EWoLGBq2DAi4LyOy3lAHhFFUIK6lnYQPZAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T21:11:44.637042Z","bundle_sha256":"24c9207db046714e6789c0752cc0fcdaf1d0f1e2d504e5a7326990772ba5769f"}}