{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7XGIKJNKK65Z5X477D5QCMCNBX","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":"303c1c524513a72283a9441cd96bb77582589dc4245aa6f96b1eda0a9e2b79c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-27T20:49:04Z","title_canon_sha256":"d9a97dbac8ebdfdf758953b03f5e78405818eaf0509573e212274438c3d042b4"},"schema_version":"1.0","source":{"id":"1707.09038","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.09038","created_at":"2026-05-18T00:39:06Z"},{"alias_kind":"arxiv_version","alias_value":"1707.09038v3","created_at":"2026-05-18T00:39:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09038","created_at":"2026-05-18T00:39:06Z"},{"alias_kind":"pith_short_12","alias_value":"7XGIKJNKK65Z","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7XGIKJNKK65Z5X47","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7XGIKJNK","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:52386e73ab8f9a86ae4edcf2c464425ee240f139270e299107c52e58848fb02f","target":"graph","created_at":"2026-05-18T00:39:06Z","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 been widely used to assess the fault-detection effectiveness of a test suite, as well as to guide test case generation or prioritization. Empirical studies have shown that, while mutants are generally representative of real faults, an effective application of mutation testing requires \"traditional\" operators designed for programming languages to be augmented with operators specific to an application domain and/or technology. This paper proposes MDroid+, a framework for effective mutation testing of Android apps. First, we systematically devise a taxonomy of 262 types of An","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":"2017-07-27T20:49:04Z","title":"Enabling Mutation Testing for Android Apps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09038","kind":"arxiv","version":3},"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:e956aa714024672734b64666bbd6d2cc34e8285dcbb1ce9282f34605b181feab","target":"record","created_at":"2026-05-18T00:39:06Z","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":"303c1c524513a72283a9441cd96bb77582589dc4245aa6f96b1eda0a9e2b79c6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-27T20:49:04Z","title_canon_sha256":"d9a97dbac8ebdfdf758953b03f5e78405818eaf0509573e212274438c3d042b4"},"schema_version":"1.0","source":{"id":"1707.09038","kind":"arxiv","version":3}},"canonical_sha256":"fdcc8525aa57bb9edf9ff8fb01304d0ded52270ccfb5758be47cfaf3a29c5d1c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fdcc8525aa57bb9edf9ff8fb01304d0ded52270ccfb5758be47cfaf3a29c5d1c","first_computed_at":"2026-05-18T00:39:06.309382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:06.309382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X8g4Wb4qnPfMbqu0TqTFiazBNgFYfxe44fbaBQwA3qDy1I3ykNa5swyvzvl3dlPdOJgRodIQKGZJGS9Lcr0LAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:06.310071Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.09038","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e956aa714024672734b64666bbd6d2cc34e8285dcbb1ce9282f34605b181feab","sha256:52386e73ab8f9a86ae4edcf2c464425ee240f139270e299107c52e58848fb02f"],"state_sha256":"a1dc3946bfac18957c576c07ffa01c9fb80c92613a93057c6b001ed5e6647879"}