{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZW5T22SRMYHZBFVC5RHXUT35FJ","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":"82538263d025a147ac77d2e8caf531e4670b81d6acd886c1f973047547edc155","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-13T12:16:43Z","title_canon_sha256":"d713f88a275b61afd5987c1d9d4d54b5ce36a352176232f88ba18b1960b7dc3a"},"schema_version":"1.0","source":{"id":"1807.05030","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.05030","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1807.05030v2","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.05030","created_at":"2026-05-18T00:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"ZW5T22SRMYHZ","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZW5T22SRMYHZBFVC","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZW5T22SR","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:e310f2515b80886fa3633bd0f3625e62e7ce5f6f34e11522be1dd284ca869310","target":"graph","created_at":"2026-05-18T00:02: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"},"paper":{"abstract_excerpt":"Pseudo-tested methods are defined as follows: they are covered by the test suite, yet no test case fails when the method body is removed, i.e., when all the effects of this method are suppressed. This intriguing concept was coined in 2016, by Niedermayr and colleagues, who showed that such methods are systematically present, even in well-tested projects with high statement coverage. This work presents a novel analysis of pseudo-tested methods. First, we run a replication of Niedermayr's study with 28K+ methods, enhancing its external validity thanks to the use of new tools and new study subjec","authors_text":"Benjamin Danglot, Benoit Baudry, Martin Monperrus, Oscar Luis Vera-P\\'erez","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-13T12:16:43Z","title":"A Comprehensive Study of Pseudo-tested Methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.05030","kind":"arxiv","version":2},"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:fc2e0d0ded6b99bda494c586c76ad030a5745479ffd09b5b7058d4cfbca8667f","target":"record","created_at":"2026-05-18T00:02: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":"82538263d025a147ac77d2e8caf531e4670b81d6acd886c1f973047547edc155","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-13T12:16:43Z","title_canon_sha256":"d713f88a275b61afd5987c1d9d4d54b5ce36a352176232f88ba18b1960b7dc3a"},"schema_version":"1.0","source":{"id":"1807.05030","kind":"arxiv","version":2}},"canonical_sha256":"cdbb3d6a51660f9096a2ec4f7a4f7d2a4ebb7deb870f052ca2f58e538541a07e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cdbb3d6a51660f9096a2ec4f7a4f7d2a4ebb7deb870f052ca2f58e538541a07e","first_computed_at":"2026-05-18T00:02:59.613152Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:59.613152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"i4pwehXYAIxtySutvwXrwRrj5YiV6/Phj6PqGQj5dEphJIOMJued5NFSn4QEhh9EZLMqIA1V2REX66UYBWY6Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:59.613778Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.05030","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc2e0d0ded6b99bda494c586c76ad030a5745479ffd09b5b7058d4cfbca8667f","sha256:e310f2515b80886fa3633bd0f3625e62e7ce5f6f34e11522be1dd284ca869310"],"state_sha256":"97881432168d1b6a1b5e4ce634a1b4a65fd5e82b97715941034128ec33572495"}