{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DRCESBP5PF4OFGLKDIXSENLW54","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":"2403ffdf1a1ef984523572fa26db845e06751c5c91b06bab3e7a36ccd5a704d9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-14T23:31:26Z","title_canon_sha256":"88a098c8f1054a7f713467e07a0a13ea6b56781713c5653d06d16fba9c1ce069"},"schema_version":"1.0","source":{"id":"2411.09846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.09846","created_at":"2026-07-05T09:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"2411.09846v1","created_at":"2026-07-05T09:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.09846","created_at":"2026-07-05T09:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"DRCESBP5PF4O","created_at":"2026-07-05T09:35:39Z"},{"alias_kind":"pith_short_16","alias_value":"DRCESBP5PF4OFGLK","created_at":"2026-07-05T09:35:39Z"},{"alias_kind":"pith_short_8","alias_value":"DRCESBP5","created_at":"2026-07-05T09:35:39Z"}],"graph_snapshots":[{"event_id":"sha256:d4ed73625a3948af5f014c20fdfdde189d6d9f83622d53d0d143b90d3776edc2","target":"graph","created_at":"2026-07-05T09:35:39Z","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/2411.09846/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mutation testing was proposed to identify weaknesses in test suites by repeatedly generating artificially faulty versions of the software (mutants) and determining if the test suite is sufficient to detect them (kill them). When the tests are insufficient, each surviving mutant provides an opportunity to improve the test suite. We conducted a study and found that many such surviving mutants (up to 84% for the subjects of our study) are detectable by simply augmenting existing tests with additional assertions, or assertion amplification. Moreover, we find that many of these mutants are detectab","authors_text":"Hang Du, James A. Jones, Vijay Krishna Palepu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-14T23:31:26Z","title":"Leveraging Propagated Infection to Crossfire Mutants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.09846","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:9dde1deb0d1938b80e5e73483290e20c76657881bf844b7a882dcd131ffcfbc1","target":"record","created_at":"2026-07-05T09:35:39Z","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":"2403ffdf1a1ef984523572fa26db845e06751c5c91b06bab3e7a36ccd5a704d9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-11-14T23:31:26Z","title_canon_sha256":"88a098c8f1054a7f713467e07a0a13ea6b56781713c5653d06d16fba9c1ce069"},"schema_version":"1.0","source":{"id":"2411.09846","kind":"arxiv","version":1}},"canonical_sha256":"1c444905fd7978e2996a1a2f223576ef2ffc591033576d3e96277b757aab7bbb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c444905fd7978e2996a1a2f223576ef2ffc591033576d3e96277b757aab7bbb","first_computed_at":"2026-07-05T09:35:39.233931Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:35:39.233931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kynx6INzDYxryWrz9Pe+/3rZEm7ap+7VEtIfxMHkJqLvaaYaupJB/XHk1R3ltzqFP2A40qATYqBb+RzMAaWzBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:35:39.234334Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.09846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9dde1deb0d1938b80e5e73483290e20c76657881bf844b7a882dcd131ffcfbc1","sha256:d4ed73625a3948af5f014c20fdfdde189d6d9f83622d53d0d143b90d3776edc2"],"state_sha256":"14c8778b96a00dcde88a556a0da4ce4a19aa29552d241c5cdd08a24995d4dcc6"}