{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:W6TQDAHYS23OEL6JZFXX37RENH","short_pith_number":"pith:W6TQDAHY","canonical_record":{"source":{"id":"2408.01760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-03T11:58:16Z","cross_cats_sorted":[],"title_canon_sha256":"4f50432cb7e7ca6e76bb17684a1414cb01c44a68537c3a8b544eed7022635125","abstract_canon_sha256":"ff3d22e417ce3cfb1e5344cb0603cfbc2aa4ca5fcaf37489ec3b2ff88caef61a"},"schema_version":"1.0"},"canonical_sha256":"b7a70180f896b6e22fc9c96f7dfe2469e390ce9b691c4c18015da743a07f0a53","source":{"kind":"arxiv","id":"2408.01760","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.01760","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"arxiv_version","alias_value":"2408.01760v1","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.01760","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_12","alias_value":"W6TQDAHYS23O","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_16","alias_value":"W6TQDAHYS23OEL6J","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_8","alias_value":"W6TQDAHY","created_at":"2026-07-05T08:52:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:W6TQDAHYS23OEL6JZFXX37RENH","target":"record","payload":{"canonical_record":{"source":{"id":"2408.01760","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-03T11:58:16Z","cross_cats_sorted":[],"title_canon_sha256":"4f50432cb7e7ca6e76bb17684a1414cb01c44a68537c3a8b544eed7022635125","abstract_canon_sha256":"ff3d22e417ce3cfb1e5344cb0603cfbc2aa4ca5fcaf37489ec3b2ff88caef61a"},"schema_version":"1.0"},"canonical_sha256":"b7a70180f896b6e22fc9c96f7dfe2469e390ce9b691c4c18015da743a07f0a53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:52:02.506016Z","signature_b64":"gPOSX2jzhddyGrunAz2FdQX3Pyg6vDqC+7wBXjgr/5fz9yQjgvgw9byUYUiNGvp55MzxAU+gh6KTMtlcuJweAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b7a70180f896b6e22fc9c96f7dfe2469e390ce9b691c4c18015da743a07f0a53","last_reissued_at":"2026-07-05T08:52:02.505541Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:52:02.505541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.01760","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:52:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xRRS/pR4aUFYEGFtO7PkdBgX2OpN5Igiel9jM0mptAqo0I24NfSzrkrJfPwNLjO8bUhcI6sxPlNw2+3wfydeAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T06:09:22.081459Z"},"content_sha256":"24a8501a7369d30287cb60db9e14fb17c15dff114d44d6bf9ad634d19780f075","schema_version":"1.0","event_id":"sha256:24a8501a7369d30287cb60db9e14fb17c15dff114d44d6bf9ad634d19780f075"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:W6TQDAHYS23OEL6JZFXX37RENH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Large Language Models for Equivalent Mutant Detection: How Far Are We?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dong Wang, Honglin Shu, Junjie Chen, Xuejie Cao, Yasutaka Kamei, Zhao Tian","submitted_at":"2024-08-03T11:58:16Z","abstract_excerpt":"Mutation testing is vital for ensuring software quality. However, the presence of equivalent mutants is known to introduce redundant cost and bias issues, hindering the effectiveness of mutation testing in practical use. Although numerous equivalent mutant detection (EMD) techniques have been proposed, they exhibit limitations due to the scarcity of training data and challenges in generalizing to unseen mutants. Recently, large language models (LLMs) have been extensively adopted in various code-related tasks and have shown superior performance by more accurately capturing program semantics. Y"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.01760","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/2408.01760/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T08:52:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hZFzV8RWE0HO6WB9aYlQG6mQ0Dp/t9w4q8pddvvslXwsoJYzesIhBqwrG59o3P37n8zGInHS1AumCUktKQYWBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T06:09:22.081778Z"},"content_sha256":"4b70397d0ae1738a3021d28bf704e3976ec5487d91097d522e6906099f22cacb","schema_version":"1.0","event_id":"sha256:4b70397d0ae1738a3021d28bf704e3976ec5487d91097d522e6906099f22cacb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/W6TQDAHYS23OEL6JZFXX37RENH/bundle.json","state_url":"https://pith.science/pith/W6TQDAHYS23OEL6JZFXX37RENH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/W6TQDAHYS23OEL6JZFXX37RENH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-20T06:09:22Z","links":{"resolver":"https://pith.science/pith/W6TQDAHYS23OEL6JZFXX37RENH","bundle":"https://pith.science/pith/W6TQDAHYS23OEL6JZFXX37RENH/bundle.json","state":"https://pith.science/pith/W6TQDAHYS23OEL6JZFXX37RENH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/W6TQDAHYS23OEL6JZFXX37RENH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:W6TQDAHYS23OEL6JZFXX37RENH","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":"ff3d22e417ce3cfb1e5344cb0603cfbc2aa4ca5fcaf37489ec3b2ff88caef61a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-03T11:58:16Z","title_canon_sha256":"4f50432cb7e7ca6e76bb17684a1414cb01c44a68537c3a8b544eed7022635125"},"schema_version":"1.0","source":{"id":"2408.01760","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.01760","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"arxiv_version","alias_value":"2408.01760v1","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.01760","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_12","alias_value":"W6TQDAHYS23O","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_16","alias_value":"W6TQDAHYS23OEL6J","created_at":"2026-07-05T08:52:02Z"},{"alias_kind":"pith_short_8","alias_value":"W6TQDAHY","created_at":"2026-07-05T08:52:02Z"}],"graph_snapshots":[{"event_id":"sha256:4b70397d0ae1738a3021d28bf704e3976ec5487d91097d522e6906099f22cacb","target":"graph","created_at":"2026-07-05T08:52:02Z","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/2408.01760/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mutation testing is vital for ensuring software quality. However, the presence of equivalent mutants is known to introduce redundant cost and bias issues, hindering the effectiveness of mutation testing in practical use. Although numerous equivalent mutant detection (EMD) techniques have been proposed, they exhibit limitations due to the scarcity of training data and challenges in generalizing to unseen mutants. Recently, large language models (LLMs) have been extensively adopted in various code-related tasks and have shown superior performance by more accurately capturing program semantics. Y","authors_text":"Dong Wang, Honglin Shu, Junjie Chen, Xuejie Cao, Yasutaka Kamei, Zhao Tian","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-03T11:58:16Z","title":"Large Language Models for Equivalent Mutant Detection: How Far Are We?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.01760","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:24a8501a7369d30287cb60db9e14fb17c15dff114d44d6bf9ad634d19780f075","target":"record","created_at":"2026-07-05T08:52:02Z","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":"ff3d22e417ce3cfb1e5344cb0603cfbc2aa4ca5fcaf37489ec3b2ff88caef61a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-08-03T11:58:16Z","title_canon_sha256":"4f50432cb7e7ca6e76bb17684a1414cb01c44a68537c3a8b544eed7022635125"},"schema_version":"1.0","source":{"id":"2408.01760","kind":"arxiv","version":1}},"canonical_sha256":"b7a70180f896b6e22fc9c96f7dfe2469e390ce9b691c4c18015da743a07f0a53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b7a70180f896b6e22fc9c96f7dfe2469e390ce9b691c4c18015da743a07f0a53","first_computed_at":"2026-07-05T08:52:02.505541Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:52:02.505541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gPOSX2jzhddyGrunAz2FdQX3Pyg6vDqC+7wBXjgr/5fz9yQjgvgw9byUYUiNGvp55MzxAU+gh6KTMtlcuJweAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:52:02.506016Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.01760","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24a8501a7369d30287cb60db9e14fb17c15dff114d44d6bf9ad634d19780f075","sha256:4b70397d0ae1738a3021d28bf704e3976ec5487d91097d522e6906099f22cacb"],"state_sha256":"76600978fc642ee174818ac6a56c262fb56c025db59c3f7f07ecb315908baf18"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MzAOiCrPfPNkLic7G/0BMicylEFCrWwxkt9GPmQkoP4bQthZB5cTdJUB4TqQiGF2s3aPuM/eoymc1SNYMyfwAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T06:09:22.085575Z","bundle_sha256":"5e3fea0403f9dfffc336bac4212d6a35923150d65a8384c5dcb0666f3f6b0b96"}}