{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FNGSKFEOGKI2U6O3PHUYHF6HRD","short_pith_number":"pith:FNGSKFEO","canonical_record":{"source":{"id":"2506.07385","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-09T03:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"e671a2bef4121a501c02de5c6c4a0344f557f60033b8b7b3e1be8ba63eefca6e","abstract_canon_sha256":"fac017974366ff08dc8aa67f0f1a45cdd42a9f57f12bc0bac6f2979343582566"},"schema_version":"1.0"},"canonical_sha256":"2b4d25148e3291aa79db79e98397c788e177b07b63354025ba7acd3d3a6dfce6","source":{"kind":"arxiv","id":"2506.07385","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07385","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07385v1","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07385","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_12","alias_value":"FNGSKFEOGKI2","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_16","alias_value":"FNGSKFEOGKI2U6O3","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_8","alias_value":"FNGSKFEO","created_at":"2026-07-05T11:18:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FNGSKFEOGKI2U6O3PHUYHF6HRD","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07385","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-09T03:09:48Z","cross_cats_sorted":[],"title_canon_sha256":"e671a2bef4121a501c02de5c6c4a0344f557f60033b8b7b3e1be8ba63eefca6e","abstract_canon_sha256":"fac017974366ff08dc8aa67f0f1a45cdd42a9f57f12bc0bac6f2979343582566"},"schema_version":"1.0"},"canonical_sha256":"2b4d25148e3291aa79db79e98397c788e177b07b63354025ba7acd3d3a6dfce6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:26.292516Z","signature_b64":"iRQ9cjNWC0LQgxZc+yf/rkjCbOzldJZmvx4rxATG+xH6UW0njgf6PsUjKbbcX54FrPjFGPOgigczfZtyKI+oDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b4d25148e3291aa79db79e98397c788e177b07b63354025ba7acd3d3a6dfce6","last_reissued_at":"2026-07-05T11:18:26.292037Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:26.292037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07385","source_version":1,"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-05T11:18:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YzX+Gi4qLznwGOI4fZYkekNaAk+w+BkWuY1qWmlJG+09wbRtZbGbA0pvrHEvQFw1fvOHYsRMpBbcDZ+LuSkWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:35:00.837507Z"},"content_sha256":"e25525c6cef2ac149bade6b90fe4d1e8ba6d5d3c1be62e45d194a4ad3a8cbf85","schema_version":"1.0","event_id":"sha256:e25525c6cef2ac149bade6b90fe4d1e8ba6d5d3c1be62e45d194a4ad3a8cbf85"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FNGSKFEOGKI2U6O3PHUYHF6HRD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Denys Poshyvanyk, Guanjie Chen, Jin Song Dong, Ruofan Liu, Ruofei Ren, Xiwen Teoh, Yun Lin","submitted_at":"2025-06-09T03:09:48Z","abstract_excerpt":"In this work, we propose GUIPilot, an approach for detecting inconsistencies between the mobile design and their implementations. The mobile design usually consists of design mock-ups that specify (1) the expected screen appearances (e.g., widget layouts, colors, and shapes) and (2) the expected screen behaviors, regarding how one screen can transition into another (e.g., labeled widgets with textual description). Given a design mock-up and the implementation of its application, GUIPilot reports both their screen inconsistencies as well as process inconsistencies. On the one hand, GUIPilot det"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07385","kind":"arxiv","version":1},"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/2506.07385/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-05T11:18:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8n4RPYVAHqdFopch1m6pCzUWIbI8kgip8QTS8pfj45en5IMnnYyYZD2HM4+MFstuSVylNPuApzsZftpEbeRoBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:35:00.838110Z"},"content_sha256":"5d6a01a003ae9df988067ce292090a054f035be4f67483fdf9cad0b497b9354a","schema_version":"1.0","event_id":"sha256:5d6a01a003ae9df988067ce292090a054f035be4f67483fdf9cad0b497b9354a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/bundle.json","state_url":"https://pith.science/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/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-10T00:35:00Z","links":{"resolver":"https://pith.science/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD","bundle":"https://pith.science/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/bundle.json","state":"https://pith.science/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FNGSKFEOGKI2U6O3PHUYHF6HRD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FNGSKFEOGKI2U6O3PHUYHF6HRD","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":"fac017974366ff08dc8aa67f0f1a45cdd42a9f57f12bc0bac6f2979343582566","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-09T03:09:48Z","title_canon_sha256":"e671a2bef4121a501c02de5c6c4a0344f557f60033b8b7b3e1be8ba63eefca6e"},"schema_version":"1.0","source":{"id":"2506.07385","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07385","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07385v1","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07385","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_12","alias_value":"FNGSKFEOGKI2","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_16","alias_value":"FNGSKFEOGKI2U6O3","created_at":"2026-07-05T11:18:26Z"},{"alias_kind":"pith_short_8","alias_value":"FNGSKFEO","created_at":"2026-07-05T11:18:26Z"}],"graph_snapshots":[{"event_id":"sha256:5d6a01a003ae9df988067ce292090a054f035be4f67483fdf9cad0b497b9354a","target":"graph","created_at":"2026-07-05T11:18:26Z","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/2506.07385/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we propose GUIPilot, an approach for detecting inconsistencies between the mobile design and their implementations. The mobile design usually consists of design mock-ups that specify (1) the expected screen appearances (e.g., widget layouts, colors, and shapes) and (2) the expected screen behaviors, regarding how one screen can transition into another (e.g., labeled widgets with textual description). Given a design mock-up and the implementation of its application, GUIPilot reports both their screen inconsistencies as well as process inconsistencies. On the one hand, GUIPilot det","authors_text":"Denys Poshyvanyk, Guanjie Chen, Jin Song Dong, Ruofan Liu, Ruofei Ren, Xiwen Teoh, Yun Lin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-09T03:09:48Z","title":"GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07385","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:e25525c6cef2ac149bade6b90fe4d1e8ba6d5d3c1be62e45d194a4ad3a8cbf85","target":"record","created_at":"2026-07-05T11:18:26Z","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":"fac017974366ff08dc8aa67f0f1a45cdd42a9f57f12bc0bac6f2979343582566","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-09T03:09:48Z","title_canon_sha256":"e671a2bef4121a501c02de5c6c4a0344f557f60033b8b7b3e1be8ba63eefca6e"},"schema_version":"1.0","source":{"id":"2506.07385","kind":"arxiv","version":1}},"canonical_sha256":"2b4d25148e3291aa79db79e98397c788e177b07b63354025ba7acd3d3a6dfce6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b4d25148e3291aa79db79e98397c788e177b07b63354025ba7acd3d3a6dfce6","first_computed_at":"2026-07-05T11:18:26.292037Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:26.292037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iRQ9cjNWC0LQgxZc+yf/rkjCbOzldJZmvx4rxATG+xH6UW0njgf6PsUjKbbcX54FrPjFGPOgigczfZtyKI+oDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:26.292516Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07385","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e25525c6cef2ac149bade6b90fe4d1e8ba6d5d3c1be62e45d194a4ad3a8cbf85","sha256:5d6a01a003ae9df988067ce292090a054f035be4f67483fdf9cad0b497b9354a"],"state_sha256":"dd71705aa5b39782a08dd49ef1bc533c120f7cb625744e8d1b28d382854ef1a1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EaEW7j/WBeNRrnYih+XC8k1Wmkzn/WAwrQ3KDPO79QBAZU4j2FzDJKihC2H8SHJAkWDf88iys2EsLtEeKN3FAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T00:35:00.842104Z","bundle_sha256":"943595568b5be166bcece25a134ab8d89ebf9e7a6e64dffc91fad12eed8d1917"}}