{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:7XGIKJNKK65Z5X477D5QCMCNBX","short_pith_number":"pith:7XGIKJNK","canonical_record":{"source":{"id":"1707.09038","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-27T20:49:04Z","cross_cats_sorted":[],"title_canon_sha256":"d9a97dbac8ebdfdf758953b03f5e78405818eaf0509573e212274438c3d042b4","abstract_canon_sha256":"303c1c524513a72283a9441cd96bb77582589dc4245aa6f96b1eda0a9e2b79c6"},"schema_version":"1.0"},"canonical_sha256":"fdcc8525aa57bb9edf9ff8fb01304d0ded52270ccfb5758be47cfaf3a29c5d1c","source":{"kind":"arxiv","id":"1707.09038","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:7XGIKJNKK65Z5X477D5QCMCNBX","target":"record","payload":{"canonical_record":{"source":{"id":"1707.09038","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-27T20:49:04Z","cross_cats_sorted":[],"title_canon_sha256":"d9a97dbac8ebdfdf758953b03f5e78405818eaf0509573e212274438c3d042b4","abstract_canon_sha256":"303c1c524513a72283a9441cd96bb77582589dc4245aa6f96b1eda0a9e2b79c6"},"schema_version":"1.0"},"canonical_sha256":"fdcc8525aa57bb9edf9ff8fb01304d0ded52270ccfb5758be47cfaf3a29c5d1c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:06.310071Z","signature_b64":"X8g4Wb4qnPfMbqu0TqTFiazBNgFYfxe44fbaBQwA3qDy1I3ykNa5swyvzvl3dlPdOJgRodIQKGZJGS9Lcr0LAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fdcc8525aa57bb9edf9ff8fb01304d0ded52270ccfb5758be47cfaf3a29c5d1c","last_reissued_at":"2026-05-18T00:39:06.309382Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:06.309382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.09038","source_version":3,"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-18T00:39:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+tvyhRsSgV1HpcdbN9eK3LJU201HSnfWBtJFN0xBQi7llvFU/kJU7xOu6Qy2ORSqINYG0vqcQOnrWbaF3deZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T12:00:16.370726Z"},"content_sha256":"e956aa714024672734b64666bbd6d2cc34e8285dcbb1ce9282f34605b181feab","schema_version":"1.0","event_id":"sha256:e956aa714024672734b64666bbd6d2cc34e8285dcbb1ce9282f34605b181feab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:7XGIKJNKK65Z5X477D5QCMCNBX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enabling Mutation Testing for Android Apps","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Carlos Bernal-C\\'ardenas, Christopher Vendome, Denys Poshyvanyk, Gabriele Bavota, Kevin Moran, Mario Linares-V\\'asquez, Massimiliano Di Penta, Michele Tufano","submitted_at":"2017-07-27T20:49:04Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09038","kind":"arxiv","version":3},"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-18T00:39:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OiQ/z3ef/HYfgGbhZqu3bj7fW35EJGbVz7H1hSrhhBdPjgWDge0i6uEFSHniYVGAPfjS24R1Hvmf/1lcoUbFCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T12:00:16.371066Z"},"content_sha256":"52386e73ab8f9a86ae4edcf2c464425ee240f139270e299107c52e58848fb02f","schema_version":"1.0","event_id":"sha256:52386e73ab8f9a86ae4edcf2c464425ee240f139270e299107c52e58848fb02f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7XGIKJNKK65Z5X477D5QCMCNBX/bundle.json","state_url":"https://pith.science/pith/7XGIKJNKK65Z5X477D5QCMCNBX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7XGIKJNKK65Z5X477D5QCMCNBX/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-25T12:00:16Z","links":{"resolver":"https://pith.science/pith/7XGIKJNKK65Z5X477D5QCMCNBX","bundle":"https://pith.science/pith/7XGIKJNKK65Z5X477D5QCMCNBX/bundle.json","state":"https://pith.science/pith/7XGIKJNKK65Z5X477D5QCMCNBX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7XGIKJNKK65Z5X477D5QCMCNBX/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bUX4f2ELNxKT1FgYnE36TD32xM5OQTPWCCl7C5oLhsS3XfwaP0pefSxBAjR7FO6CF4flTPFhZg3cIgPyV/EYCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T12:00:16.373096Z","bundle_sha256":"4651812e34252162271a9041a587c26b1f86454db02e5fafb37a7c72c1d089ff"}}