{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HVCSLX7OY34IJZLVHI5LGF43CE","short_pith_number":"pith:HVCSLX7O","canonical_record":{"source":{"id":"2407.03037","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2024-07-03T11:58:09Z","cross_cats_sorted":[],"title_canon_sha256":"d7c92607129b7c2897c4a2a45c4f1cb8d53f20d31bf15c9a8df0bb0c489a8a68","abstract_canon_sha256":"c280803a7497577dceb165b9603aa913473df215e3d9aad91d823d3752314c92"},"schema_version":"1.0"},"canonical_sha256":"3d4525dfeec6f884e5753a3ab3179b110bf98fea9079d81ade0b94b78dec0173","source":{"kind":"arxiv","id":"2407.03037","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03037","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03037v2","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03037","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_12","alias_value":"HVCSLX7OY34I","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_16","alias_value":"HVCSLX7OY34IJZLV","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_8","alias_value":"HVCSLX7O","created_at":"2026-07-05T09:44:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HVCSLX7OY34IJZLVHI5LGF43CE","target":"record","payload":{"canonical_record":{"source":{"id":"2407.03037","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2024-07-03T11:58:09Z","cross_cats_sorted":[],"title_canon_sha256":"d7c92607129b7c2897c4a2a45c4f1cb8d53f20d31bf15c9a8df0bb0c489a8a68","abstract_canon_sha256":"c280803a7497577dceb165b9603aa913473df215e3d9aad91d823d3752314c92"},"schema_version":"1.0"},"canonical_sha256":"3d4525dfeec6f884e5753a3ab3179b110bf98fea9079d81ade0b94b78dec0173","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:44:12.819766Z","signature_b64":"7Lw8iK0Y7PaSLAQpT7FeWvQpuDjXqWE0ftvObtMOQ00KL7xnmEX+CzYFEXKcKhC85VBdMa/tN3o0inmP0/8dBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d4525dfeec6f884e5753a3ab3179b110bf98fea9079d81ade0b94b78dec0173","last_reissued_at":"2026-07-05T09:44:12.819249Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:44:12.819249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.03037","source_version":2,"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-07-05T09:44:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HWLelBojEBR54r4eQIPNKN43+8Sjn3UC8s588/nsMWhyKD6qzgyUpGFR4HdqCwSAiIHSZYbFqL0UoaVC7WRSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:12:58.505832Z"},"content_sha256":"de5fdf1d3b023ad213f6421565eca40e1fcd86c967f3c0167a7d0c71c3332a69","schema_version":"1.0","event_id":"sha256:de5fdf1d3b023ad213f6421565eca40e1fcd86c967f3c0167a7d0c71c3332a69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HVCSLX7OY34IJZLVHI5LGF43CE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Boyu Wu, Cheng Li, Chunyang Chen, Jun Hu, Junjie Wang, Mengzhuo Chen, Qing Wang, Yawen Wang, Zhe Liu","submitted_at":"2024-07-03T11:58:09Z","abstract_excerpt":"Mobile app GUI (Graphical User Interface) pages now contain rich visual information, with the visual semantics of each page helping users understand the application logic. However, these complex visual and functional logic present new challenges to software testing. Existing automated GUI testing methods, constrained by the lack of reliable testing oracles, are limited to detecting crash bugs with obvious abnormal signals. Consequently, many non-crash functional bugs, ranging from unexpected behaviors to logical errors, often evade detection by current techniques. While these non-crash functio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03037","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2407.03037/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:44:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GgyYKRkdeWWmo28yoWj8B5UsSqDbXzjzJCxutrdjMDIgCTIv8qc7wj9YRerlLVErHAWXB2n6iTQLw0/1GUl+CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T13:12:58.506378Z"},"content_sha256":"7988d7ab7256097aab4c79fb942fbd6a150e1d516580a6d2cfab98d16bca17ba","schema_version":"1.0","event_id":"sha256:7988d7ab7256097aab4c79fb942fbd6a150e1d516580a6d2cfab98d16bca17ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HVCSLX7OY34IJZLVHI5LGF43CE/bundle.json","state_url":"https://pith.science/pith/HVCSLX7OY34IJZLVHI5LGF43CE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HVCSLX7OY34IJZLVHI5LGF43CE/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-08-08T13:12:58Z","links":{"resolver":"https://pith.science/pith/HVCSLX7OY34IJZLVHI5LGF43CE","bundle":"https://pith.science/pith/HVCSLX7OY34IJZLVHI5LGF43CE/bundle.json","state":"https://pith.science/pith/HVCSLX7OY34IJZLVHI5LGF43CE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HVCSLX7OY34IJZLVHI5LGF43CE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HVCSLX7OY34IJZLVHI5LGF43CE","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":"c280803a7497577dceb165b9603aa913473df215e3d9aad91d823d3752314c92","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2024-07-03T11:58:09Z","title_canon_sha256":"d7c92607129b7c2897c4a2a45c4f1cb8d53f20d31bf15c9a8df0bb0c489a8a68"},"schema_version":"1.0","source":{"id":"2407.03037","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.03037","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"arxiv_version","alias_value":"2407.03037v2","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.03037","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_12","alias_value":"HVCSLX7OY34I","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_16","alias_value":"HVCSLX7OY34IJZLV","created_at":"2026-07-05T09:44:12Z"},{"alias_kind":"pith_short_8","alias_value":"HVCSLX7O","created_at":"2026-07-05T09:44:12Z"}],"graph_snapshots":[{"event_id":"sha256:7988d7ab7256097aab4c79fb942fbd6a150e1d516580a6d2cfab98d16bca17ba","target":"graph","created_at":"2026-07-05T09:44:12Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2407.03037/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mobile app GUI (Graphical User Interface) pages now contain rich visual information, with the visual semantics of each page helping users understand the application logic. However, these complex visual and functional logic present new challenges to software testing. Existing automated GUI testing methods, constrained by the lack of reliable testing oracles, are limited to detecting crash bugs with obvious abnormal signals. Consequently, many non-crash functional bugs, ranging from unexpected behaviors to logical errors, often evade detection by current techniques. While these non-crash functio","authors_text":"Boyu Wu, Cheng Li, Chunyang Chen, Jun Hu, Junjie Wang, Mengzhuo Chen, Qing Wang, Yawen Wang, Zhe Liu","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2024-07-03T11:58:09Z","title":"Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.03037","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:de5fdf1d3b023ad213f6421565eca40e1fcd86c967f3c0167a7d0c71c3332a69","target":"record","created_at":"2026-07-05T09:44:12Z","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":"c280803a7497577dceb165b9603aa913473df215e3d9aad91d823d3752314c92","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2024-07-03T11:58:09Z","title_canon_sha256":"d7c92607129b7c2897c4a2a45c4f1cb8d53f20d31bf15c9a8df0bb0c489a8a68"},"schema_version":"1.0","source":{"id":"2407.03037","kind":"arxiv","version":2}},"canonical_sha256":"3d4525dfeec6f884e5753a3ab3179b110bf98fea9079d81ade0b94b78dec0173","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3d4525dfeec6f884e5753a3ab3179b110bf98fea9079d81ade0b94b78dec0173","first_computed_at":"2026-07-05T09:44:12.819249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:12.819249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Lw8iK0Y7PaSLAQpT7FeWvQpuDjXqWE0ftvObtMOQ00KL7xnmEX+CzYFEXKcKhC85VBdMa/tN3o0inmP0/8dBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:12.819766Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.03037","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de5fdf1d3b023ad213f6421565eca40e1fcd86c967f3c0167a7d0c71c3332a69","sha256:7988d7ab7256097aab4c79fb942fbd6a150e1d516580a6d2cfab98d16bca17ba"],"state_sha256":"712fbeba4921e2c9ae1eaf88c47db7443675a8124242abb1d81393f1b5922147"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"onYqrxRjpWPZLfkIjse/4Ea0XuI4FTk6BuXyYgyZnbueq7UIsE7rmkOzwo3A/GvqB88bJWVvgFApMeD6XjGhBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T13:12:58.510590Z","bundle_sha256":"d7e543b2b25af9b18d031e629e2e8c83839782e57daeee43d3a920f07d2d2a07"}}