{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:KEIZ4ZBCGNJX2EVSPXHSM5TJOW","short_pith_number":"pith:KEIZ4ZBC","schema_version":"1.0","canonical_sha256":"51119e642233537d12b27dcf2676697585b7bba2b8487261e2d2715612a1faf1","source":{"kind":"arxiv","id":"2112.01598","version":3},"attestation_state":"computed","paper":{"title":"What Not to Test (for Cyber-Physical Systems)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Tim Menzies, Xiao Ling","submitted_at":"2021-12-02T20:34:54Z","abstract_excerpt":"For simulation-based systems, finding a set of test cases with the least cost by exploring multiple goals is a complex task. Domain-specific optimization goals (e.g. maximize output variance) are useful for guiding the rapid selection of test cases via mutation. But evaluating the selected test cases via mutation (that can distinguish the current program from the mutated systems) is a different goal to domain-specific optimizations. While the optimization goals can be used to guide the mutation analysis, that guidance should be viewed as a weak indicator since it can hurt the mutation effectiv"},"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":"2112.01598","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2021-12-02T20:34:54Z","cross_cats_sorted":[],"title_canon_sha256":"9e3c6de42430efb343ad8987a03530dba36f4d48177e01706199fff45146d95e","abstract_canon_sha256":"09b97b87e220d0fadb553cffbd90ddc5358d2ff7f9e146f00cdf8319cf0af64b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:07:19.599463Z","signature_b64":"bzjdBIDfXtyFJ8vYTTh57OuYL3Db72qr2OUDLRBVnpdSJglsrUzv9gGp/7dfmJA8z/Rqm+PnJzswdNQerEazBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51119e642233537d12b27dcf2676697585b7bba2b8487261e2d2715612a1faf1","last_reissued_at":"2026-07-05T06:07:19.598984Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:07:19.598984Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"What Not to Test (for Cyber-Physical Systems)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Tim Menzies, Xiao Ling","submitted_at":"2021-12-02T20:34:54Z","abstract_excerpt":"For simulation-based systems, finding a set of test cases with the least cost by exploring multiple goals is a complex task. Domain-specific optimization goals (e.g. maximize output variance) are useful for guiding the rapid selection of test cases via mutation. But evaluating the selected test cases via mutation (that can distinguish the current program from the mutated systems) is a different goal to domain-specific optimizations. While the optimization goals can be used to guide the mutation analysis, that guidance should be viewed as a weak indicator since it can hurt the mutation effectiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.01598","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/2112.01598/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":"2112.01598","created_at":"2026-07-05T06:07:19.599041+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.01598v3","created_at":"2026-07-05T06:07:19.599041+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.01598","created_at":"2026-07-05T06:07:19.599041+00:00"},{"alias_kind":"pith_short_12","alias_value":"KEIZ4ZBCGNJX","created_at":"2026-07-05T06:07:19.599041+00:00"},{"alias_kind":"pith_short_16","alias_value":"KEIZ4ZBCGNJX2EVS","created_at":"2026-07-05T06:07:19.599041+00:00"},{"alias_kind":"pith_short_8","alias_value":"KEIZ4ZBC","created_at":"2026-07-05T06:07:19.599041+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW","json":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW.json","graph_json":"https://pith.science/api/pith-number/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/graph.json","events_json":"https://pith.science/api/pith-number/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/events.json","paper":"https://pith.science/paper/KEIZ4ZBC"},"agent_actions":{"view_html":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW","download_json":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW.json","view_paper":"https://pith.science/paper/KEIZ4ZBC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.01598&json=true","fetch_graph":"https://pith.science/api/pith-number/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/graph.json","fetch_events":"https://pith.science/api/pith-number/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/action/storage_attestation","attest_author":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/action/author_attestation","sign_citation":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/action/citation_signature","submit_replication":"https://pith.science/pith/KEIZ4ZBCGNJX2EVSPXHSM5TJOW/action/replication_record"}},"created_at":"2026-07-05T06:07:19.599041+00:00","updated_at":"2026-07-05T06:07:19.599041+00:00"}