{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:RURPRC2CCAH6OMK3UN3IIIRR4I","short_pith_number":"pith:RURPRC2C","canonical_record":{"source":{"id":"1303.2784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-12T06:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"f2668446065fdcbf9bef19e7b21d84f595ee5914c13789688b3536b4bbfce10a","abstract_canon_sha256":"d55d3a1c0266396da2929b72af10761afd81e7bd2e705c050a83494398d4b3e1"},"schema_version":"1.0"},"canonical_sha256":"8d22f88b42100fe7315ba376842231e23d19dd4d0cd903ea4ab138aae492c205","source":{"kind":"arxiv","id":"1303.2784","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2784","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2784v1","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2784","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"pith_short_12","alias_value":"RURPRC2CCAH6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RURPRC2CCAH6OMK3","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RURPRC2C","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:RURPRC2CCAH6OMK3UN3IIIRR4I","target":"record","payload":{"canonical_record":{"source":{"id":"1303.2784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-12T06:18:16Z","cross_cats_sorted":[],"title_canon_sha256":"f2668446065fdcbf9bef19e7b21d84f595ee5914c13789688b3536b4bbfce10a","abstract_canon_sha256":"d55d3a1c0266396da2929b72af10761afd81e7bd2e705c050a83494398d4b3e1"},"schema_version":"1.0"},"canonical_sha256":"8d22f88b42100fe7315ba376842231e23d19dd4d0cd903ea4ab138aae492c205","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:08.069096Z","signature_b64":"tJr21nveyncd+/WNtqxrgNggCVM5UuZWmeK2BK10eKiXu5E+sa5y1/hYt/YNxbv7osSu9/rEkWyhgvbkZBCFAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d22f88b42100fe7315ba376842231e23d19dd4d0cd903ea4ab138aae492c205","last_reissued_at":"2026-05-18T03:31:08.068285Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:08.068285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.2784","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-05-18T03:31:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6sACUjSEtEko6P+kYfGIxoicBhu4XCae/M2JKOqvVwZF8BmQ4IAQ6Rjfmv/shi0hdkdzgq7483mrFS+tqXWJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:29:45.908537Z"},"content_sha256":"6a5754d03ca4a08ababab7b2b26eb4952c4b5e2a3843b86a9f292d8732827a11","schema_version":"1.0","event_id":"sha256:6a5754d03ca4a08ababab7b2b26eb4952c4b5e2a3843b86a9f292d8732827a11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:RURPRC2CCAH6OMK3UN3IIIRR4I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gordon Fraser, Michael D. Ernst, Ren\\'e Just","submitted_at":"2013-03-12T06:18:16Z","abstract_excerpt":"Mutation analysis evaluates test suites and testing techniques by measuring how well they detect seeded defects (mutants). Even though well established in research, mutation analysis is rarely used in practice due to scalability problems --- there are multiple mutations per code statement leading to a large number of mutants, and hence executions of the test suite. In addition, the use of mutation to improve test suites is futile for mutants that are equivalent, which means that there exists no test case that distinguishes them from the original program.\n  This paper introduces two optimizatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2784","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":""},"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-05-18T03:31:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dxlw/hJcTrSMHlsfIAr1ElrevcjnZ5cR2rswk3epsizOM9dfQmgXECtq9DbFIMkRUuapG1CLhwuX7Vq2sNR9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T21:29:45.909244Z"},"content_sha256":"ed920a7b0ab8af577d06e540e398392265cb7db3a666376d2705dfadd54ba422","schema_version":"1.0","event_id":"sha256:ed920a7b0ab8af577d06e540e398392265cb7db3a666376d2705dfadd54ba422"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/bundle.json","state_url":"https://pith.science/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/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-06-07T21:29:45Z","links":{"resolver":"https://pith.science/pith/RURPRC2CCAH6OMK3UN3IIIRR4I","bundle":"https://pith.science/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/bundle.json","state":"https://pith.science/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RURPRC2CCAH6OMK3UN3IIIRR4I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:RURPRC2CCAH6OMK3UN3IIIRR4I","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":"d55d3a1c0266396da2929b72af10761afd81e7bd2e705c050a83494398d4b3e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-12T06:18:16Z","title_canon_sha256":"f2668446065fdcbf9bef19e7b21d84f595ee5914c13789688b3536b4bbfce10a"},"schema_version":"1.0","source":{"id":"1303.2784","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2784","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2784v1","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2784","created_at":"2026-05-18T03:31:08Z"},{"alias_kind":"pith_short_12","alias_value":"RURPRC2CCAH6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"RURPRC2CCAH6OMK3","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"RURPRC2C","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:ed920a7b0ab8af577d06e540e398392265cb7db3a666376d2705dfadd54ba422","target":"graph","created_at":"2026-05-18T03:31:08Z","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"},"paper":{"abstract_excerpt":"Mutation analysis evaluates test suites and testing techniques by measuring how well they detect seeded defects (mutants). Even though well established in research, mutation analysis is rarely used in practice due to scalability problems --- there are multiple mutations per code statement leading to a large number of mutants, and hence executions of the test suite. In addition, the use of mutation to improve test suites is futile for mutants that are equivalent, which means that there exists no test case that distinguishes them from the original program.\n  This paper introduces two optimizatio","authors_text":"Gordon Fraser, Michael D. Ernst, Ren\\'e Just","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-12T06:18:16Z","title":"Using State Infection Conditions to Detect Equivalent Mutants and Speed up Mutation Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2784","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:6a5754d03ca4a08ababab7b2b26eb4952c4b5e2a3843b86a9f292d8732827a11","target":"record","created_at":"2026-05-18T03:31:08Z","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":"d55d3a1c0266396da2929b72af10761afd81e7bd2e705c050a83494398d4b3e1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-03-12T06:18:16Z","title_canon_sha256":"f2668446065fdcbf9bef19e7b21d84f595ee5914c13789688b3536b4bbfce10a"},"schema_version":"1.0","source":{"id":"1303.2784","kind":"arxiv","version":1}},"canonical_sha256":"8d22f88b42100fe7315ba376842231e23d19dd4d0cd903ea4ab138aae492c205","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d22f88b42100fe7315ba376842231e23d19dd4d0cd903ea4ab138aae492c205","first_computed_at":"2026-05-18T03:31:08.068285Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:08.068285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tJr21nveyncd+/WNtqxrgNggCVM5UuZWmeK2BK10eKiXu5E+sa5y1/hYt/YNxbv7osSu9/rEkWyhgvbkZBCFAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:08.069096Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.2784","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6a5754d03ca4a08ababab7b2b26eb4952c4b5e2a3843b86a9f292d8732827a11","sha256:ed920a7b0ab8af577d06e540e398392265cb7db3a666376d2705dfadd54ba422"],"state_sha256":"2732c7f110f7414d69143c5c667f907df32b2f31ae88a25a63fab950002ef6c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oO4dlqTWCCgQRSFpZcGBtIMxkJsujSGcMUNbL1Zae7w5ZIpo89QvM+DRLib2ROq2ddYXBeglrHyxHg2Eu4l0Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T21:29:45.913471Z","bundle_sha256":"698d1b0d9bcc5f1bb15c8f4fee4921113b83ee92d490642940289d3639d5796b"}}