{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:S3EZNQXBPTSFSCT6Y7ZWK5BB4G","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":"dc1edbd0d2b83fa4e6bfa6dc810282ce637c5bd916c0711bfb7d4a9b237dbd36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-01-31T13:17:15Z","title_canon_sha256":"de125336157ea8c19aa84a453eb7c7f3b87ffce01fd564beeb7722ea10e09396"},"schema_version":"1.0","source":{"id":"2301.13615","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.13615","created_at":"2026-07-05T05:37:16Z"},{"alias_kind":"arxiv_version","alias_value":"2301.13615v1","created_at":"2026-07-05T05:37:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.13615","created_at":"2026-07-05T05:37:16Z"},{"alias_kind":"pith_short_12","alias_value":"S3EZNQXBPTSF","created_at":"2026-07-05T05:37:16Z"},{"alias_kind":"pith_short_16","alias_value":"S3EZNQXBPTSFSCT6","created_at":"2026-07-05T05:37:16Z"},{"alias_kind":"pith_short_8","alias_value":"S3EZNQXB","created_at":"2026-07-05T05:37:16Z"}],"graph_snapshots":[{"event_id":"sha256:12b9e6bfc29682a74fd2ae8fd2c2a8150ef577f285316d18bd9f7432be912be0","target":"graph","created_at":"2026-07-05T05:37:16Z","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/2301.13615/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mutation testing is an established software quality assurance technique for the assessment of test suites. While it is well-suited to estimate the general fault-revealing capability of a test suite, it is not practical and informative when the software under test must be validated against specific requirements. This is often the case for embedded software, where the software is typically validated against rigorously-specified safety properties. In such a scenario (i) a mutant is relevant only if it can impact the satisfaction of the tested properties, and (ii) a mutant is meaningfully-killed w","authors_text":"Dejan Nickovic, Drishti Yadav, Ezio Bartocci, Leonardo Mariani","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-01-31T13:17:15Z","title":"Property-Based Mutation Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.13615","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:fad0306310b7379c7602654bcb6a606f52daa051e027382282c55600d76974ff","target":"record","created_at":"2026-07-05T05:37:16Z","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":"dc1edbd0d2b83fa4e6bfa6dc810282ce637c5bd916c0711bfb7d4a9b237dbd36","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-01-31T13:17:15Z","title_canon_sha256":"de125336157ea8c19aa84a453eb7c7f3b87ffce01fd564beeb7722ea10e09396"},"schema_version":"1.0","source":{"id":"2301.13615","kind":"arxiv","version":1}},"canonical_sha256":"96c996c2e17ce4590a7ec7f3657421e19b0e0b8bb081d798cc852b6b447c1436","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"96c996c2e17ce4590a7ec7f3657421e19b0e0b8bb081d798cc852b6b447c1436","first_computed_at":"2026-07-05T05:37:16.776491Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:37:16.776491Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fCfAzA/vyQW/h6/UNqkjpUkPPLSJD4bCftDDQp9fzLBPmSyVl/gzlyRife3PwpRQfXPr5KHrUlP4T/vf3nRkDw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:37:16.776978Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.13615","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fad0306310b7379c7602654bcb6a606f52daa051e027382282c55600d76974ff","sha256:12b9e6bfc29682a74fd2ae8fd2c2a8150ef577f285316d18bd9f7432be912be0"],"state_sha256":"2744140278dce3d7cb558a5fe7e9b93564930e13f98358090b375186edcdb1d9"}