{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:B6VQQSF7DK7E64VCCV52RLPHGF","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":"0ae0f5f50b896d48b17f6b7da111ce98077fee3b6ca193abbc9b140c319cb2fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-05T17:05:52Z","title_canon_sha256":"6f8f0aa1f97b02cc8a99ab9513bd5d9ac738f72d611232d15bb607aff34c333e"},"schema_version":"1.0","source":{"id":"2309.02395","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.02395","created_at":"2026-07-05T06:47:59Z"},{"alias_kind":"arxiv_version","alias_value":"2309.02395v1","created_at":"2026-07-05T06:47:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.02395","created_at":"2026-07-05T06:47:59Z"},{"alias_kind":"pith_short_12","alias_value":"B6VQQSF7DK7E","created_at":"2026-07-05T06:47:59Z"},{"alias_kind":"pith_short_16","alias_value":"B6VQQSF7DK7E64VC","created_at":"2026-07-05T06:47:59Z"},{"alias_kind":"pith_short_8","alias_value":"B6VQQSF7","created_at":"2026-07-05T06:47:59Z"}],"graph_snapshots":[{"event_id":"sha256:2be15a0f7049e4b2e2c45e4b114747745c836b5ef58a5fe456a55fa3d033cfd9","target":"graph","created_at":"2026-07-05T06:47:59Z","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/2309.02395/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An \"adequate\" test suite should effectively find all inconsistencies between a system's requirements/specifications and its implementation. Practitioners frequently use code coverage to approximate adequacy, while academics argue that mutation score may better approximate true (oracular) adequacy coverage. High code coverage is increasingly attainable even on large systems via automatic test generation, including fuzzing. In light of all of these options for measuring and improving testing effort, how should a QA engineer spend their time? We propose a new framework for reasoning about the ext","authors_text":"Alex Groce, Claire Le Goues, Goutamkumar Tulajappa Kalburgi, Kush Jain","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-05T17:05:52Z","title":"Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.02395","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:b5b894e56e6f5ac2686dbc5591731e3212d683d6bf1b4e1daba64557aecbf672","target":"record","created_at":"2026-07-05T06:47:59Z","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":"0ae0f5f50b896d48b17f6b7da111ce98077fee3b6ca193abbc9b140c319cb2fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-09-05T17:05:52Z","title_canon_sha256":"6f8f0aa1f97b02cc8a99ab9513bd5d9ac738f72d611232d15bb607aff34c333e"},"schema_version":"1.0","source":{"id":"2309.02395","kind":"arxiv","version":1}},"canonical_sha256":"0fab0848bf1abe4f72a2157ba8ade7317dab880c9c2ab208507e3ffb10b20072","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0fab0848bf1abe4f72a2157ba8ade7317dab880c9c2ab208507e3ffb10b20072","first_computed_at":"2026-07-05T06:47:59.647299Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:47:59.647299Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SH2P4UFkL5G4oLU9WM88jrSaRMmYeUWG8l3NwQTYAURh6v5ulH5BbFYvze5yN8BXkvRuPHpRXA5ozyqjQNZpDg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:47:59.647763Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.02395","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b5b894e56e6f5ac2686dbc5591731e3212d683d6bf1b4e1daba64557aecbf672","sha256:2be15a0f7049e4b2e2c45e4b114747745c836b5ef58a5fe456a55fa3d033cfd9"],"state_sha256":"a8c8714c83f4053fdcec98f2e31c4d767406d9040fe39f7d8c22c770df170c16"}