{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:FKP3FL6EY77JNECKGGYSNDQR4E","short_pith_number":"pith:FKP3FL6E","schema_version":"1.0","canonical_sha256":"2a9fb2afc4c7fe96904a31b1268e11e112fa05623d454ad7bb5c8e135319c50d","source":{"kind":"arxiv","id":"1911.06501","version":1},"attestation_state":"computed","paper":{"title":"Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Heather Hawkins, Rob Alexander","submitted_at":"2019-11-15T08:02:19Z","abstract_excerpt":"It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common measures of testing adequacy may not address this diversity. Explicit situation coverage has been proposed as a solution, but there has been little empirical study of its effectiveness. In this paper, we describe an implementation of situation coverage for testing a simple simulated autonomous road vehicle, and evaluate its ability to find seeded faults compared to a random test generation approach. In our experimen"},"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":"1911.06501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-11-15T08:02:19Z","cross_cats_sorted":[],"title_canon_sha256":"73f7945f1cc4ac85430e47e2c956ffed6ee73685a66b7006645d0e2fc101f344","abstract_canon_sha256":"8655064783d589e239752e72bbc07245eef496fa27ece66d6f63b4d566681f4c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:19:24.174509Z","signature_b64":"akV+j/gvZvIQdHJ6G/T/2m+wbjNjieKH9O9hiXWTI+uMGcacy3+C1zhF95FjlR+ZPlODrOJDtEW1YRBDTaX8Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a9fb2afc4c7fe96904a31b1268e11e112fa05623d454ad7bb5c8e135319c50d","last_reissued_at":"2026-07-05T00:19:24.174032Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:19:24.174032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Heather Hawkins, Rob Alexander","submitted_at":"2019-11-15T08:02:19Z","abstract_excerpt":"It is hard to test autonomous robot (AR) software because of the range and diversity of external situations (terrain, obstacles, humans, peer robots) that AR must deal with. Common measures of testing adequacy may not address this diversity. Explicit situation coverage has been proposed as a solution, but there has been little empirical study of its effectiveness. In this paper, we describe an implementation of situation coverage for testing a simple simulated autonomous road vehicle, and evaluate its ability to find seeded faults compared to a random test generation approach. In our experimen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.06501","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/1911.06501/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1911.06501","created_at":"2026-07-05T00:19:24.174106+00:00"},{"alias_kind":"arxiv_version","alias_value":"1911.06501v1","created_at":"2026-07-05T00:19:24.174106+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.06501","created_at":"2026-07-05T00:19:24.174106+00:00"},{"alias_kind":"pith_short_12","alias_value":"FKP3FL6EY77J","created_at":"2026-07-05T00:19:24.174106+00:00"},{"alias_kind":"pith_short_16","alias_value":"FKP3FL6EY77JNECK","created_at":"2026-07-05T00:19:24.174106+00:00"},{"alias_kind":"pith_short_8","alias_value":"FKP3FL6E","created_at":"2026-07-05T00:19:24.174106+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.12158","citing_title":"Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E","json":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E.json","graph_json":"https://pith.science/api/pith-number/FKP3FL6EY77JNECKGGYSNDQR4E/graph.json","events_json":"https://pith.science/api/pith-number/FKP3FL6EY77JNECKGGYSNDQR4E/events.json","paper":"https://pith.science/paper/FKP3FL6E"},"agent_actions":{"view_html":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E","download_json":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E.json","view_paper":"https://pith.science/paper/FKP3FL6E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1911.06501&json=true","fetch_graph":"https://pith.science/api/pith-number/FKP3FL6EY77JNECKGGYSNDQR4E/graph.json","fetch_events":"https://pith.science/api/pith-number/FKP3FL6EY77JNECKGGYSNDQR4E/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E/action/storage_attestation","attest_author":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E/action/author_attestation","sign_citation":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E/action/citation_signature","submit_replication":"https://pith.science/pith/FKP3FL6EY77JNECKGGYSNDQR4E/action/replication_record"}},"created_at":"2026-07-05T00:19:24.174106+00:00","updated_at":"2026-07-05T00:19:24.174106+00:00"}