{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OGSL4WIPJEZTVUV2MUQZ5EC3SS","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":"1713bbc374c9f5bc76793de560c67c8cd15ee15decade7220609f5eb2789124e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T17:18:10Z","title_canon_sha256":"cfcb887ac3ddb88f315705e07e31c19465ca8d32ba284845fedcf88c3ff103ec"},"schema_version":"1.0","source":{"id":"1802.04749","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.04749","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"arxiv_version","alias_value":"1802.04749v1","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.04749","created_at":"2026-05-18T00:23:41Z"},{"alias_kind":"pith_short_12","alias_value":"OGSL4WIPJEZT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OGSL4WIPJEZTVUV2","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OGSL4WIP","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:84c07023f61ea6ebb444ac0f364e0bcb41578dd50ae9e8d83fef758c04071ffd","target":"graph","created_at":"2026-05-18T00:23:41Z","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 testing has shown great promise in assessing the effectiveness of test suites while exhibiting additional applications to test-case generation, selection, and prioritization. Traditional mutation testing typically utilizes a set of simple language specific source code transformations, called operators, to introduce faults. However, empirical studies have shown that for mutation testing to be most effective, these simple operators must be augmented with operators specific to the domain of the software under test. One challenging software domain for the application of mutation testing i","authors_text":"Carlos Bernal-C\\'ardenas, Christopher Vendome, Denys Poshyvanyk, Gabriele Bavota, Kevin Moran, Mario Linares-V\\'asquez, Massimiliano Di Penta, Michele Tufano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T17:18:10Z","title":"MDroid+: A Mutation Testing Framework for Android"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.04749","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:0416ebcb81c4eda420b373c4113adf0283398e4237dd25cd2a6856d42236962a","target":"record","created_at":"2026-05-18T00:23:41Z","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":"1713bbc374c9f5bc76793de560c67c8cd15ee15decade7220609f5eb2789124e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-13T17:18:10Z","title_canon_sha256":"cfcb887ac3ddb88f315705e07e31c19465ca8d32ba284845fedcf88c3ff103ec"},"schema_version":"1.0","source":{"id":"1802.04749","kind":"arxiv","version":1}},"canonical_sha256":"71a4be590f49333ad2ba65219e905b9498ddfb2f2e518613f876d759828f9d91","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71a4be590f49333ad2ba65219e905b9498ddfb2f2e518613f876d759828f9d91","first_computed_at":"2026-05-18T00:23:41.513093Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:41.513093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pyssyLS+d46vrLcBuptbF9ALisdHx65cxROLPoErn8xB+QbqZMUZRxKn8pPjJNfvmDPPi+N7FVGvTyw0U1kJAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:41.513784Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.04749","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0416ebcb81c4eda420b373c4113adf0283398e4237dd25cd2a6856d42236962a","sha256:84c07023f61ea6ebb444ac0f364e0bcb41578dd50ae9e8d83fef758c04071ffd"],"state_sha256":"e514f0be7ae96e38699046aee7978dadb44ef0dcbb81c03eb8400d59a1e3a9a2"}